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

Address rust-lang/rust#106810 #590

Merged

smoelius merged 2 commits into master from rust-106810

Jan 24, 2023

Collaborator

smoelius commented Jan 23, 2023

No description provided.

smoelius added 2 commits

January 23, 2023 17:49


          Address rust-lang/rust#106810

1299cd5

Also, revert the following commits:

- cc8b57a
- 7e9057f


          Nitpicky stylistic changes to some comments

5d5a839

smoelius merged commit f573f12 into master

smoelius deleted the rust-106810 branch

January 24, 2023 11:51

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