bors[bot] fb1b0a4bff
Merge #6036
6036: Don't re-read open files from disk when reloading a workspace r=kjeremy a=lnicola

Fixes #5742
Fixes #4263

or so I hope.

Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>
2020-09-18 21:29:47 +00:00
..
2020-08-24 13:29:10 +02:00
2020-09-16 20:03:41 +00:00
2020-09-18 15:37:31 +02:00
2020-09-18 15:37:31 +02:00
2020-09-16 17:26:51 +02:00
2020-09-18 21:29:47 +00:00
⬆️ expect-test
2020-08-28 14:47:14 +02:00
2020-09-03 13:37:36 +02:00