Skip to content

Conversation

@codingjourney
Copy link
Contributor

No description provided.

@NeroBurner NeroBurner added needs-InfiniTime-change PR blocked until InfiniTime upstream change is merged labels Jun 16, 2025
@JF002
Copy link
Contributor

JF002 commented Nov 4, 2025

@NeroBurner we've just merged InfiniTimeOrg/InfiniTime#2141, so you can merge this one as well :)

@NeroBurner NeroBurner merged commit cd7284f into InfiniTimeOrg:main Nov 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs-InfiniTime-change PR blocked until InfiniTime upstream change is merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants