diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-23 07:03:43 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-23 07:03:43 +0000 |
commit | f7f85cdd8d0660e3556c15864efd6158f114e343 (patch) | |
tree | 8758cad3fa6a8203bbb13f72ddcaeef2128f8b98 /crates/hir_def/src/path/lower | |
parent | 493e29d7132a25ce13c10393c581c2f9e1116320 (diff) | |
parent | 25a987703c05d5a78059eb776a5b4ca65018a816 (diff) |
Merge #7011
7011: Don't release uncompressed binaries under the new naming scheme r=lnicola a=lnicola
bors r+
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/hir_def/src/path/lower')
0 files changed, 0 insertions, 0 deletions