Skip to content

Conversation

Urgau
Copy link
Member

@Urgau Urgau commented Feb 14, 2025

It is replaced by rustbot important message which does the same thing in a more visible and hopefully more effective manner, cf. rust-lang/triagebot#1902

cc @apiraino (as you suggested)

It is replaced by rustbot important message which does the same thing in a more visible and *hopefully* more effective manner, cf. rust-lang/triagebot#1902
@apiraino apiraino merged commit 495e9b5 into rust-lang:master Feb 15, 2025
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