diff options
| author | Jeremy Kolb <[email protected]> | 2020-05-09 22:15:22 +0100 |
|---|---|---|
| committer | kjeremy <[email protected]> | 2020-05-11 18:16:46 +0100 |
| commit | d4471dccfea8c9d6e721d22911947230d05899a7 (patch) | |
| tree | 017e0726e91e91d7989c782b30043105671ec71f /editors | |
| parent | 05399250d47cdceffbf1ded08983b13a9dcc87c1 (diff) | |
Check client capabilities before sending progress notifications
Fixes #4384
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions