diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-09 20:40:05 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-12-09 20:40:05 +0000 |
commit | baae1b3d0049e804e76d39cde82ebec0ef0599bb (patch) | |
tree | d0bda6f7fd7916a6c8c7846c1263b11f38f8d858 /crates/ra_hir/src/source_binder.rs | |
parent | e292573f425eece6f1666e051d7fe64b79640d39 (diff) | |
parent | 16df4d8fcbf6695d8b033efe2dcaa5167629d9c8 (diff) |
Merge #2516
2516: chore: bump deps and use mainline chalk r=matklad a=lnicola
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/source_binder.rs')
0 files changed, 0 insertions, 0 deletions