Skip to content

Conversation

RalfJung
Copy link
Member

I benchmarked this and as far as I can see the difference to the old code is totally within noise. And this makes the code a lot simpler and removes duplication so yay. :)

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Jul 17, 2022

📌 Commit 39866f8 has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jul 17, 2022

⌛ Testing commit 39866f8 with merge 36a7a65...

@bors
Copy link
Contributor

bors commented Jul 17, 2022

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 36a7a65 to master...

@bors bors merged commit 36a7a65 into rust-lang:master Jul 17, 2022
@RalfJung RalfJung deleted the sb branch July 17, 2022 15:49
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.

2 participants