Skip to content

Conversation

gave92
Copy link
Member

@gave92 gave92 commented Feb 28, 2021

Fixes #3767

@yaira2 yaira2 added the ready to merge Pull requests that are approved and ready to merge label Feb 28, 2021
@yaira2 yaira2 merged commit e51dc13 into files-community:main Feb 28, 2021
@gave92 gave92 deleted the issue_3767 branch February 28, 2021 15:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready to merge Pull requests that are approved and ready to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Ctrl + N Shortcut misbehaviour

2 participants