diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-25 07:08:30 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-06-25 07:08:30 +0100 |
commit | 659b16981a19b3b47f63e6cd4b7f668775e8e9a4 (patch) | |
tree | 0ff97656e30c9b1fe3c4bb96b0171f33890c11ee /crates/ra_ide_db/src/symbol_index.rs | |
parent | 78e94e4570f09c8cbe1f8c6802df9b112ca37f08 (diff) | |
parent | 874a5f80c74851aa142a196be49b73f55bd1c619 (diff) |
Merge #5046
5046: Fix progress reporting for flycheck r=matklad a=matklad
bors r+
Co-authored-by: veetaha <[email protected]>
Co-authored-by: Veetaha <[email protected]>
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_ide_db/src/symbol_index.rs')
0 files changed, 0 insertions, 0 deletions