Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #74556 Glob Time Travel


triagebot (Oct 01 2020 at 18:32, on Zulip):

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

Procedure

triagebot (Oct 01 2020 at 18:33, on Zulip):

Issue #74556's prioritization request has been removed.

Mason Stallmo (Oct 01 2020 at 20:18, on Zulip):

Not sure how to prioritize this one. As of two hours ago there is an open PR to fix this regression.

Maybe P-critical since it seemed important enough to already have a PR opened?

Joshua Nelson (Oct 01 2020 at 20:25, on Zulip):

the prioritization request has been removed

Joshua Nelson (Oct 01 2020 at 20:25, on Zulip):

Vadim Petrochenkov is taking care of it

DPC (Oct 01 2020 at 23:39, on Zulip):

generally issues should still be prioritised if a PR is open, as a PR can stall or fail on CI or be forgotten for a while

Camelid (Oct 02 2020 at 00:21, on Zulip):

I will put P-high for now, change it if you disagree

Last update: Apr 16 2021 at 23:45UTC