Skip to content

Conversation

@GuillaumeGomez
Copy link
Member

Fixes #2662.

@GuillaumeGomez GuillaumeGomez requested a review from a team as a code owner November 4, 2024 16:04
@github-actions github-actions bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Nov 4, 2024
@syphar syphar added S-waiting-on-author Status: This PR is incomplete or needs to address review comments and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels Nov 6, 2024
@GuillaumeGomez GuillaumeGomez requested a review from syphar November 6, 2024 14:13
@github-actions github-actions bot added S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed and removed S-waiting-on-author Status: This PR is incomplete or needs to address review comments labels Nov 6, 2024
@syphar syphar merged commit 6963852 into rust-lang:master Nov 7, 2024
10 checks passed
@github-actions github-actions bot added S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels Nov 7, 2024
@GuillaumeGomez GuillaumeGomez deleted the size-popups branch November 7, 2024 10:44
@syphar syphar removed the S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it label Nov 29, 2024
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.

self-documenting info for documentation & source size

2 participants