Stream: t-compiler/wg-prioritization/alerts

Topic: Backport #74509 Use `ReEmpty(U0)` as the implicit region bou


triagebot (Jul 19 2020 at 11:41, on Zulip):

@WG-prioritization/alerts PR #74509 has been requested for beta backport.

Procedure

Prepare agenda entry:

LeSeulArtichaut (Jul 19 2020 at 11:55, on Zulip):
LeSeulArtichaut (Jul 19 2020 at 12:13, on Zulip):

Also left a comment on the PR to ask if this needs a point release

triagebot (Jul 19 2020 at 12:41, on Zulip):

@WG-prioritization/alerts PR #74509 has been requested for stable backport.

Procedure

Prepare agenda entry:

triagebot (Jul 23 2020 at 18:33, on Zulip):

PR #74509's stable backport request has been removed.

Last update: Apr 16 2021 at 23:30UTC