@WG-prioritization/alerts issue #81408 has been requested for prioritization.
I think this is
hmm seems somewhat serious, let's see if it gets attention tomorrow. I'll also explicitely ping the windows group because I'm not sure they receive the ping only by labelling an issue
Issue #81408's prioritization request has been removed.
Yeah, to my knowledge they only get pinged when you do
@rustbot ping windows