Skip to content

Refactor tags in extensions.js to remove redundant entries#566

Merged
JeremyGamer13 merged 2 commits into
PenguinMod:mainfrom
Bashamega:chore/rename-tags
Jul 4, 2026
Merged

Refactor tags in extensions.js to remove redundant entries#566
JeremyGamer13 merged 2 commits into
PenguinMod:mainfrom
Bashamega:chore/rename-tags

Conversation

@Bashamega

Copy link
Copy Markdown
Contributor

closes #496

@JeremyGamer13
JeremyGamer13 merged commit 9c65b51 into PenguinMod:main Jul 4, 2026
1 check failed
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.

Regarding tags

2 participants