diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-23 12:03:18 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-05-23 12:03:18 +0100 |
commit | 0ec4ce1e9bceb2d7b0833de2ab59e2cd583e01ec (patch) | |
tree | 56ee0561e7f7240a0571e0c1be484c83bf985541 /crates/ide_db | |
parent | 808ebe4b865176dcc394ea4adcb3a24f60955734 (diff) | |
parent | 34a3bc4196db302ea5b31c51b6d555336965be5f (diff) |
Merge #8938
8938: internal: Fix #8931 r=flodiebold a=flodiebold
- and add some better checking for similar bugs
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/ide_db')
0 files changed, 0 insertions, 0 deletions