bors[bot] 1c7d5f513c
Merge #5481
5481: Track document versions in the server r=kjeremy a=kjeremy

This also pushes diagnostics for the correct file version on close so that when it is reopened stale diagnostics are not shown.

Closes #5452 

Co-authored-by: kjeremy <kjeremy@gmail.com>
Co-authored-by: Jeremy Kolb <kjeremy@gmail.com>
2020-07-22 13:04:30 +00:00
..
2020-07-21 10:50:24 +02:00
2020-07-17 12:04:10 +02:00
2020-07-21 17:55:17 +02:00
2020-07-21 09:57:46 +00:00
2020-07-16 14:29:57 +00:00
2020-07-20 15:37:50 -04:00
2020-07-22 13:04:30 +00:00
2020-07-20 18:01:42 +02:00
2020-07-18 16:40:10 +02:00