Skip to content

Combine Date and Time Settings#78

Closed
Elements6007 wants to merge 1 commit into
InfiniTimeOrg:mainfrom
Elements6007:combine
Closed

Combine Date and Time Settings#78
Elements6007 wants to merge 1 commit into
InfiniTimeOrg:mainfrom
Elements6007:combine

Conversation

@Elements6007
Copy link
Copy Markdown
Contributor

@NeroBurner NeroBurner added the needs-InfiniTime-change PR blocked until InfiniTime upstream change is merged label Dec 2, 2022
@Riksu9000
Copy link
Copy Markdown
Contributor

InfiniTimeOrg/InfiniTime#1465 has been merged @NeroBurner

@NeroBurner
Copy link
Copy Markdown
Collaborator

Thanks for the nudge, merging

@NeroBurner
Copy link
Copy Markdown
Collaborator

merged with 168ff53

@NeroBurner NeroBurner closed this Jan 15, 2023
@Elements6007 Elements6007 deleted the combine branch January 15, 2023 21:53
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