Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #78151 Disable MatchBranchSimplification


triagebot (Oct 20 2020 at 16:43, on Zulip):

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

Procedure

triagebot (Oct 20 2020 at 16:44, on Zulip):

Issue #78151's prioritization request has been removed.

LeSeulArtichaut (Oct 20 2020 at 16:44, on Zulip):

(That's a PR)

Yuki Okushi (Oct 21 2020 at 04:14, on Zulip):

FYI wg-prioritization, opened https://github.com/rust-lang/triagebot/issues/920

Last update: Apr 11 2021 at 18:00UTC