Skip to content

Fixes #103129#103130

Merged
joaomoreno merged 1 commit intomicrosoft:masterfrom
MrHeer:patch-1
Jul 23, 2020
Merged

Fixes #103129#103130
joaomoreno merged 1 commit intomicrosoft:masterfrom
MrHeer:patch-1

Conversation

@MrHeer
Copy link
Contributor

@MrHeer MrHeer commented Jul 23, 2020

Typo in the description of setting editor.snippetFinalTabstopHighlightBoarder
stabstop -> tabstop

This PR fixes #103129

Typo in the description of setting editor.snippetFinalTabstopHighlightBoarder
stabstop -> tabstop
@joaomoreno joaomoreno self-assigned this Jul 23, 2020
@joaomoreno joaomoreno added this to the July 2020 milestone Jul 23, 2020
@joaomoreno joaomoreno merged commit a473814 into microsoft:master Jul 23, 2020
@joaomoreno
Copy link
Member

Thanks!

@github-actions github-actions bot locked and limited conversation to collaborators Sep 6, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Typo in the description of setting editor.snippetFinalTabstopHighlightBoarder

2 participants