diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-03 10:48:44 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-03 10:48:44 +0100 |
commit | 76c2f4ef49d8fe89c1199899f9fe6289ddd95b6b (patch) | |
tree | 06be8f61590fdb76aeb9d557a10f913ef65f4f7b /.gitignore | |
parent | 682c079043656a55775eff33d806da517542f9eb (diff) | |
parent | 074d1ac2f7b3e8a6d4088983ac63235f71d3e6a5 (diff) |
Merge #4278
4278: Log panics in apply_document_changes r=matklad a=lnicola
This doesn't necessarily help (because of https://github.com/rust-analyzer/rust-analyzer/issues/4263#issuecomment-623078531), but maybe we could leave it in there for a while in case it catches something.
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions