Skip to content

Conversation

GuillaumeGomez
Copy link
Member

Hopefully this time I didn't miss anything (it's to fix this).

@GuillaumeGomez GuillaumeGomez requested a review from a team as a code owner July 17, 2025 09:29
@github-actions github-actions bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Jul 17, 2025
@syphar syphar merged commit 4b4a377 into rust-lang:master Jul 22, 2025
11 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 Jul 22, 2025
@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 Jul 22, 2025
@GuillaumeGomez GuillaumeGomez deleted the missing-migration branch July 22, 2025 09:14
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