Stream: t-compiler/wg-prioritization/alerts

Topic: #80725 rustc segmentation fault


triagebot (Jan 05 2021 at 16:59, on Zulip):

@WG-prioritization/alerts issue #80725 has been requested for prioritization.

Procedure

apiraino (Jan 05 2021 at 17:04, on Zulip):

I guess a ping to the llvm folks won't hurt

apiraino (Jan 05 2021 at 17:05, on Zulip):

(is applying the label is enough for the trigger? don't know, so I made it explicit)

triagebot (Jan 05 2021 at 18:29, on Zulip):

Issue #80725's prioritization request has been removed.

apiraino (Jan 05 2021 at 18:29, on Zulip):

(issue closed)

Last update: Apr 10 2021 at 23:15UTC