Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Simplifies vox markings. #4495

Open
wants to merge 3 commits into
base: dev
Choose a base branch
from

Conversation

MistakeNot4892
Copy link
Contributor

@MistakeNot4892 MistakeNot4892 commented Sep 29, 2024

Condenses vox markings down into a single set of decls.

@MistakeNot4892 MistakeNot4892 added ready for review This PR is ready for review and merge. work in progress This PR is under development and shouldn't be merged. and removed ready for review This PR is ready for review and merge. labels Sep 29, 2024
@MistakeNot4892

This comment was marked as outdated.

@MistakeNot4892 MistakeNot4892 changed the title Fixes monkey tails, simplifies vox markings. Simplifies vox markings. Sep 30, 2024
@MistakeNot4892 MistakeNot4892 added has dependencies This PR should not be merged prior to any PRs linked in body or comments. ready for review This PR is ready for review and merge. and removed work in progress This PR is under development and shouldn't be merged. labels Sep 30, 2024
@MistakeNot4892
Copy link
Contributor Author

Depends on #4497

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
has dependencies This PR should not be merged prior to any PRs linked in body or comments. ready for review This PR is ready for review and merge.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant