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.

Sign up for GitHub

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

Jump to bottom

Use newer Rust (nightly-2023-05-26) #38

Merged

andreibancioiu merged 1 commit into main from next-25

Aug 25, 2023

Contributor

andreibancioiu commented Aug 25, 2023

No description provided.


          Use newer Rust.

c4abe33

andreibancioiu self-assigned this

claudiulataretu approved these changes

View reviewed changes

ovidiuolteanu approved these changes

View reviewed changes

andreibancioiu merged commit 18c1589 into main

2 checks passed

andreibancioiu deleted the next-25 branch

December 26, 2023 19:45

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment