Skip to content

Conversation

@NeroBurner
Copy link
Collaborator

Needs fix for missing includes PR from InfiniTime: InfiniTimeOrg/InfiniTime#2130

@NeroBurner NeroBurner added enhancement New feature or request needs-InfiniTime-change PR blocked until InfiniTime upstream change is merged labels Sep 28, 2024
@NeroBurner NeroBurner self-assigned this Sep 28, 2024
@NeroBurner NeroBurner merged commit 7595686 into main Jan 12, 2025
2 checks passed
@NeroBurner NeroBurner deleted the remove_MusicService branch January 12, 2025 19:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request needs-InfiniTime-change PR blocked until InfiniTime upstream change is merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants