Skip to content

fix for shortcut migration#1527

Merged
mholtzman merged 2 commits intodevelopfrom
shortcut-state
Apr 19, 2023
Merged

fix for shortcut migration#1527
mholtzman merged 2 commits intodevelopfrom
shortcut-state

Conversation

@floating
Copy link
Owner

No description provided.

@mholtzman mholtzman merged commit f25161e into develop Apr 19, 2023
@mholtzman mholtzman deleted the shortcut-state branch April 19, 2023 12:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants