@WG-prioritization/alerts issue #81967 has been requested for prioritization.
hm ... was this issue meant to be prioritized? I think the I-prioritize label was assigned automatically by the bot. Probably I would assign a
P-high or more because people might be put off by this.
Anyway, seems like Pietro Albini already has fixed that in time for the next 1.50
Issue #81967's prioritization request has been removed.