Skip to content
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

"editor.suggestSelection" fix #42795 #43017

Merged
merged 1 commit into from
Feb 6, 2018
Merged

"editor.suggestSelection" fix #42795 #43017

merged 1 commit into from
Feb 6, 2018

Conversation

svipas
Copy link
Contributor

@svipas svipas commented Feb 6, 2018

Builded it from source and run it. Finally it works very well. It's just small minor typo, @jrieken forgot to change strings everywhere.

@alexdima alexdima added the candidate Issue identified as probable candidate for fixing in the next release label Feb 6, 2018
@alexdima alexdima added this to the January 2018 milestone Feb 6, 2018
@alexdima alexdima merged commit 8ec2e4d into microsoft:master Feb 6, 2018
@alexdima
Copy link
Member

alexdima commented Feb 6, 2018

Thank you for your contribution! ❤️

@svipas svipas deleted the suggestSelection branch February 8, 2018 06:55
@github-actions github-actions bot locked and limited conversation to collaborators Mar 31, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
candidate Issue identified as probable candidate for fixing in the next release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants