diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-22 12:19:09 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-06-22 12:19:09 +0100 |
| commit | 19701b39ac232b023ff9ab077a33c743df96d178 (patch) | |
| tree | 7ea5bbd972f6059e72684444ad3970c54d294f43 /crates/ra_hir_ty/src/traits/chalk/mapping.rs | |
| parent | 3370c81525c89c4f3229180f83520de29b7ee8a0 (diff) | |
| parent | 320c775ace8958f751c4e8c62e6d5e2e867706be (diff) | |
Merge #4928
4928: Fix renaming mod in use tree r=matklad a=unexge
Fixes #4825
Co-authored-by: unexge <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/traits/chalk/mapping.rs')
0 files changed, 0 insertions, 0 deletions