Skip to content
This repository has been archived by the owner on Jan 9, 2023. It is now read-only.

Rename to Mutiny #76

Open
TonyGiorgio opened this issue Sep 5, 2022 · 0 comments
Open

Rename to Mutiny #76

TonyGiorgio opened this issue Sep 5, 2022 · 0 comments

Comments

@TonyGiorgio
Copy link
Collaborator

The painful process of making the rename official throughout the codebase should happen sooner than later :(

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant