Skip to content

Conversation

@lolbinarycat
Copy link
Contributor

@lolbinarycat lolbinarycat commented May 23, 2025

@rustbot
Copy link
Collaborator

rustbot commented May 23, 2025

r? @apiraino

rustbot has assigned @apiraino.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 23, 2025
@Noratrieb
Copy link
Member

lol, that's fun. (note that this will be outdated soon when wg-prio no longer exists)

@Noratrieb Noratrieb merged commit 1ed3337 into rust-lang:master May 24, 2025
1 check passed
@apiraino
Copy link
Contributor

yeah this patch could have waited a sec before being merged ... I could't get around to it sooner, I didn't notice it.

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

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants