@WG-prioritization/alerts issue #79146 has been requested for prioritization.
Issue #79146's prioritization request has been removed.
Oh, does rustbot automatically remove
I-prioritize when someone marks an issue as duplicate?
when the issue is closed, I think
oh hmm it happened before, weird
I think danielhenrymantilla must have posted a rustbot label comment and then deleted it so it wouldn't clog up the issue
It confused me too, but I don't think rustbot did it autonomously :)
That's an idea to keep in mind though :D