Stream: t-compiler/wg-prioritization/alerts

Topic: Backport #74457 rustbuild: drop tool::should_install


triagebot (Jul 17 2020 at 20:25, on Zulip):

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

Procedure

Prepare agenda entry:

LeSeulArtichaut (Jul 17 2020 at 21:50, on Zulip):

(Not T-compiler)

triagebot (Jul 21 2020 at 10:54, on Zulip):

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

Procedure

Prepare agenda entry:

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

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

triagebot (Aug 07 2020 at 15:54, on Zulip):

PR #74457's beta backport request has been removed.

Last update: Apr 16 2021 at 22:45UTC