@WG-prioritization/alerts issue #81740 has been requested for prioritization.
I don't have context on this one. Maybe P-high?
hm me neither, seems an old issue undiscovered until recently. A patch is on its way, so I agree
p-high is fine (more for tracking/history purposes rather than 'urgency')
Issue #81740's prioritization request has been removed.
For me it's more that it's an unsoundness issue, which is one of the worst kinds.