diff options
| author | Philipp Mildenberger | 2023-03-27 19:05:27 +0000 |
|---|---|---|
| committer | Philipp Mildenberger | 2023-05-18 19:48:32 +0000 |
| commit | 7d4f7eb4bda6e507e253cb276ccce254fdd51575 (patch) | |
| tree | 4c0a716b33e12d4ea175606d4a11da109ed58289 /.github | |
| parent | 71551d395b4e47804df2d8ecea99e34dbbf16157 (diff) | |
Fix 'WorkspaceConfiguration' request with empty configuration section strings
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions