diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-27 11:09:47 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-27 11:09:47 +0000 |
| commit | c8e78809e5a300f3c2770f50b6d8b1c4bff11531 (patch) | |
| tree | b6d466dc0987e64e692a2b4de1111c49e18cf40c /crates/ra_hir/src/marks.rs | |
| parent | 4248b39993e2446c66f732ae9e45fb2f564099f5 (diff) | |
| parent | 6eb45c1c2be0fb780c4160aaa93c8d3d81e607e2 (diff) | |
Merge #903
903: Work around for issue in vscode reporting a failure in request r=matklad a=vipentti
vscode would report "A request has failed" when it got "Content modified"
message and this would cause a pop-up to appear. This works around the issue by
returning an "empty" response that vscode can ignore.
Co-authored-by: Ville Penttinen <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/marks.rs')
0 files changed, 0 insertions, 0 deletions