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

Update to Rust 2018 #396

Merged

Dirbaio merged 1 commit into master from rust-2018

Dec 27, 2020

Member

Dirbaio commented Dec 26, 2020

No description provided.

Dirbaio force-pushed the rust-2018 branch 3 times, most recently from b527161 to 2a858bc Compare

December 26, 2020 23:44


          Update to Rust 2018. Fixes #271

1e40b93

Dirbaio force-pushed the rust-2018 branch from 2a858bc to 1e40b93 Compare

December 27, 2020 16:57

Member Author

Dirbaio commented Dec 27, 2020

Merging now, as this is all boring boilerplate that should be uncontroversial and is highly likely to to create annoying merge conflicts.

Dirbaio merged commit ac605ce into master

Dirbaio deleted the rust-2018 branch

December 27, 2020 17:49

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

Labels

None yet