diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-10-31 14:22:36 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-10-31 14:22:36 +0000 |
commit | 86d3b784075966028c84e24ff4327a26fe7fbacb (patch) | |
tree | 2215484ea64be573e3a1c18aeb09eca49b00f6f3 /crates/ide_db/src/traits.rs | |
parent | 28b1cd32b3682f172d9caa862dbf1bcdbf53234b (diff) | |
parent | 5fccb72dd52ebeffae271c57db876f82348498c3 (diff) |
Merge #6423
6423: cargo update r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'crates/ide_db/src/traits.rs')
0 files changed, 0 insertions, 0 deletions