New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix typos in workbench.editor.labelFormat #59155

Merged
merged 1 commit into from Sep 24, 2018

Conversation

Projects
None yet
3 participants
@jonathanperret
Contributor

jonathanperret commented Sep 22, 2018

Just removing a couple of characters that shouldn't be here. Note that the distinguinshing error was reported in #35286 and supposed to be fixed by a03ede1 but actually was not. So, this fixes #35286, I guess?

Fix typos in workbench.editor.labelFormat
Just removing a couple of characters that shouldn't be here.

@bpasero bpasero merged commit 9000ab7 into Microsoft:master Sep 24, 2018

1 check passed

license/cla All CLA requirements met.

@bpasero bpasero self-assigned this Sep 24, 2018

@bpasero bpasero added this to the September 2018 milestone Sep 24, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment