Skip to content

Conversation

jswrenn
Copy link
Member

@jswrenn jswrenn commented Sep 15, 2023

This PR is a replay of #741. Due to the huge amount of lines changed, it was far more efficient to replay cargo fmt than to review the formatting changes in that PR manually.

@jswrenn jswrenn added this pull request to the merge queue Sep 15, 2023
Merged via the queue into master with commit 9b553d7 Sep 15, 2023
@mightyiam
Copy link
Contributor

Wow. This is a step. Thank you.

@Philippe-Cholet
Copy link
Member

Philippe-Cholet commented Sep 16, 2023

Wow I did not expect this to be merged that soon, but that is done and it's a good thing, now let's go fix things...

EDIT: Thanks!

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