diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-03-18 12:28:28 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-03-18 12:28:28 +0000 |
commit | f0a1b64d7ee3baa7ccf980b35b85f0a4a3b85b1a (patch) | |
tree | 1f6fbf906ec4404ab8bb0e4011d54c781ba26a64 /crates/ra_hir_ty/src/traits/chalk.rs | |
parent | 2a3543d1953daeb240c214ececd273f1040b0516 (diff) | |
parent | e511b3280f9640c47bfc0e37494bc11806bdba9f (diff) |
Merge #3634
3634: Make xtask dist more reliable r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/traits/chalk.rs')
0 files changed, 0 insertions, 0 deletions