diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-15 13:38:24 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-15 13:38:24 +0100 |
| commit | fbdc3c78494dfd2127638feb1de2ebd157667d6d (patch) | |
| tree | ad3207d4621d8f9ef7459a2337660ec9dacb05ba /editors/code | |
| parent | 2c67ca0146c215df908de0066b124d63d2ba8fe7 (diff) | |
| parent | a40e05dd5d8b2c5f74c61cd08efed9dc83124657 (diff) | |
Merge #5390
5390: Don't drop flycheck messages during restart r=matklad a=matklad
closes #5386
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code')
0 files changed, 0 insertions, 0 deletions