Skip to content

Relevant Forum Posts#712

Merged
rgantzos merged 2 commits intoSTForScratch:mainfrom
rgantzos:main
Oct 4, 2023
Merged

Relevant Forum Posts#712
rgantzos merged 2 commits intoSTForScratch:mainfrom
rgantzos:main

Conversation

@rgantzos
Copy link
Copy Markdown
Collaborator

@rgantzos rgantzos commented Oct 4, 2023

  • Fix localization for filters

@rgantzos rgantzos added priority: 2 The 2nd most important. scope: popup/settings Has to do with the settings in some way bug fix new feature Adds a new feature to the settings page labels Oct 4, 2023
@rgantzos rgantzos merged commit a1396ae into STForScratch:main Oct 4, 2023
@rgantzos rgantzos added this to the ScratchTools v3.4.0 milestone Oct 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

new feature Adds a new feature to the settings page priority: 2 The 2nd most important. scope: popup/settings Has to do with the settings in some way

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant