Skip to content

Conversation

@burrbull
Copy link
Member

@burrbull burrbull commented May 3, 2023

No description provided.

Copy link
Member

@therealprof therealprof left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks.

bors r+

@bors bors bot merged commit 59b9543 into master May 3, 2023
@bors bors bot deleted the speed branch May 3, 2023 07:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants