Stream: t-compiler/wg-prioritization

Topic: I-prioritize #70972 error: internal compiler error: src/libr


triagebot (Apr 14 2020 at 15:12, on Zulip):

Issue #70972's prioritization request has been removed.

triagebot (Apr 14 2020 at 15:12, on Zulip):

@WG-prioritization issue #70972 has been requested for prioritization.

Santiago Pastorino (Apr 14 2020 at 15:13, on Zulip):

@centril added a priority and the tag here, I guess @centril wants us to confirm those priorities, right?

centril (Apr 14 2020 at 15:18, on Zulip):

Has a PR; can remove prioritization label

triagebot (Apr 14 2020 at 15:18, on Zulip):

Issue #70972's prioritization request has been removed.

Last update: Jun 05 2020 at 23:15UTC