diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-11 14:26:17 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-04-11 14:26:17 +0100 |
commit | 372414d27b41f60142f6c01fd48746a36e71f392 (patch) | |
tree | f6ee7802c775681ff6269000222aa322eeac7b10 /docs | |
parent | 0679d8cbe7acc5221d985e6d4187d6df293bd9d5 (diff) | |
parent | 12e23bd60b9c3dde24bb9fa597ad88705abd2b76 (diff) |
Merge #3942
3942: vscode: fix typing bug in config r=matklad a=Veetaha
I noticed that the type of nullable properties in config is actually non-nullable
![Screenshot from 2020-04-11 15-29-45](https://user-images.githubusercontent.com/36276403/79043702-6a686d80-7c09-11ea-9ae8-f1a777c7d0f2.png)
Co-authored-by: veetaha <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions