Skip to content

Trending features#673

Merged
rgantzos merged 1 commit intoSTForScratch:mainfrom
rgantzos:main
Aug 25, 2023
Merged

Trending features#673
rgantzos merged 1 commit intoSTForScratch:mainfrom
rgantzos:main

Conversation

@rgantzos
Copy link
Copy Markdown
Collaborator

No description provided.

@rgantzos rgantzos added type: enhancement Makes an existing feature better priority: 3 Least important. scope: popup/settings Has to do with the settings in some way labels Aug 25, 2023
@rgantzos rgantzos added this to the ScratchTools v3.2.0 milestone Aug 25, 2023
@rgantzos rgantzos merged commit a7a708e into STForScratch:main Aug 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

priority: 3 Least important. scope: popup/settings Has to do with the settings in some way type: enhancement Makes an existing feature better

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant