Skip to content

Budget: use uint40 for dates#76

Merged
izqui merged 3 commits intomasterfrom
uint40-dates
Oct 1, 2022
Merged

Budget: use uint40 for dates#76
izqui merged 3 commits intomasterfrom
uint40-dates

Conversation

@izqui
Copy link
Contributor

@izqui izqui commented Oct 1, 2022

Won't break until year 36,835 so in case it becomes a problem we won't handle it ourselves

@izqui izqui merged commit 5b6cc7a into master Oct 1, 2022
@izqui izqui deleted the uint40-dates branch October 1, 2022 15:13
@izqui izqui mentioned this pull request Oct 17, 2022
20 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant