Skip to content

Conversation

@Veetaha
Copy link
Contributor

@Veetaha Veetaha commented Apr 11, 2020

I noticed that the type of nullable properties in config is actually non-nullable
Screenshot from 2020-04-11 15-29-45

@Veetaha Veetaha force-pushed the fix/vsode-type-bug branch 3 times, most recently from 8833910 to 3791f0e Compare April 11, 2020 12:35
@Veetaha Veetaha force-pushed the fix/vsode-type-bug branch from 3791f0e to 12e23bd Compare April 11, 2020 12:40
@matklad
Copy link
Contributor

matklad commented Apr 11, 2020

bors r+

@bors
Copy link
Contributor

bors bot commented Apr 11, 2020

@bors bors bot merged commit 372414d into rust-lang:master Apr 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants