Skip to content

Conversation

@V-ed
Copy link
Contributor

@V-ed V-ed commented Jul 31, 2018

ping @alexandrudima

(I did not test this change yet, but looking at what I needed to change it seems to be enough - I'll test later today)

Fixes #53497

@alexdima alexdima added this to the July 2018 milestone Aug 2, 2018
@alexdima
Copy link
Member

alexdima commented Aug 2, 2018

👍 Thank you!

@alexdima alexdima merged commit c7b4951 into microsoft:master Aug 2, 2018
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 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.

Subword navigation : Confusing keybinding name

2 participants