@WG-prioritization/alerts issue #76597 has been requested for prioritization.
I think P-high for the crash and P-medium for the vulnerability to crashes in rustc_errors. There's a PR open fixing both.
right :thumbs_up: can in this case the
I-prioritize be removed or is there more about it concerning the prioritization?
it looks like it was already fixed, going to close it
does it still need prioritization in that case?
in my opinion, it can be removed - @Santiago Pastorino ?
Issue #76597's prioritization request has been removed.
Oh oops I took the thumbs up as yes lol
haha I think it's fine - sorry my fault
my understanding is that when an issue is resolved the I-prio label doesnt help anymore
@Joshua Nelson @apiraino as I've mentioned in the other thread I think triage wg does remove these labels
it's ok in my opinion to remove those too
but it doesn't neither bother if they are there IMHO
I just search for open
I-prioritize so they do not bother in any way
ah ok, good point :thumbs_up:
we don't exclusively remove those, because closed issues or prs don't matter (since nobody searches for those). however in this case it's better to see it sends a messages here so we know that prioritisation was removed