diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-11 18:25:34 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-11 18:25:34 +0100 |
commit | de1fe23c1ebd28eb2e5227752697a5a6f63be7fa (patch) | |
tree | 6207a95afd306764bc2b04956e8c5688a4b00939 /crates/ra_ide | |
parent | 115347a9c63bc7c18cf701338532a8622ac15592 (diff) | |
parent | d4471dccfea8c9d6e721d22911947230d05899a7 (diff) |
Merge #4403
4403: Check client capabilities before sending progress notifications r=kjeremy a=kjeremy
Fixes #4384
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'crates/ra_ide')
0 files changed, 0 insertions, 0 deletions