diff options
| author | Blaž Hrastnik | 2021-08-10 01:52:02 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-08-10 01:52:53 +0000 |
| commit | a4564adadd1f77850b92d772e58c6457e14ecc3c (patch) | |
| tree | 16e2b1e6080535c5c0d81aceb51c90293519fc83 /runtime | |
| parent | 0a7add4ad4b0f9838e585b12d8d07f8ed637eb97 (diff) | |
fix: Don't crash if language servers time out
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions