diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-13 20:17:57 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-06-13 20:17:57 +0100 |
commit | f0618a8f06a464840079f30b3e25bcdcca3922a3 (patch) | |
tree | 5b57ca5243009f6a63cb6f3d37acb524b8cd2c80 /crates/ide_db/src/traits.rs | |
parent | 8c5c0ef7b910ffafc9c684cb7076149ab79f4bdd (diff) | |
parent | 500c909c76a5165e3e3c6ff2eacc009c90f08bbe (diff) |
Merge #9257
9257: internal: diagnostic code is mandatory r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ide_db/src/traits.rs')
0 files changed, 0 insertions, 0 deletions