You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
minor #8524 Mentioned the case-insensitivity of command shortcuts (javiereguiluz)
This PR was squashed before being merged into the 3.4 branch (closes#8524).
Discussion
----------
Mentioned the case-insensitivity of command shortcuts
This fixes#8380.
Commits
-------
6af99da Fixed a grammar issue
c28a051 Fixed typo
a51f56b Mentioned the case-insensitivity of command shortcuts
0 commit comments