Skip to content

Conversation

apiraino
Copy link
Contributor

@apiraino apiraino commented Aug 22, 2025

Hello 👋 just fixing a few links in the compiler issue prioritizations docs

Rendered

@rustbot
Copy link
Collaborator

rustbot commented Aug 22, 2025

r? @petrochenkov

rustbot has assigned @petrochenkov.
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 Aug 22, 2025
@apiraino apiraino enabled auto-merge (squash) August 22, 2025 12:38
@petrochenkov
Copy link

@bors r+ rollup

@apiraino apiraino merged commit 7d87106 into rust-lang:master Aug 22, 2025
1 check passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 22, 2025
@apiraino apiraino deleted the fix-links branch August 22, 2025 13:54
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.

3 participants