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

Update to 2021 edition #446

Merged
merged 2 commits into from
Dec 5, 2023
Merged

Update to 2021 edition #446

merged 2 commits into from
Dec 5, 2023

Conversation

e00E
Copy link
Contributor

@e00E e00E commented Jul 23, 2022

I didn't see a reason to stay on the old edition so we should give people working on this project the advantages of the new edition.

@svenstaro
Copy link
Contributor

@not-fl3 How about just merging this? Seems low risk.

@not-fl3
Copy link
Owner

not-fl3 commented Dec 5, 2023

oh, sure, done!

@not-fl3 not-fl3 merged commit d8e2f9d into not-fl3:master Dec 5, 2023
6 checks passed
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.

3 participants