Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #76702 Lint docs failed to build


triagebot (Sep 14 2020 at 12:09, on Zulip):

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

Procedure

apiraino (Sep 16 2020 at 10:48, on Zulip):

@WG-prioritization I'd remove the I-prioritize label as there seems to be already a patch on the way

DPC (Sep 16 2020 at 10:50, on Zulip):

should be merged by today so i guess no need for prioritisation

triagebot (Sep 16 2020 at 10:54, on Zulip):

Issue #76702's prioritization request has been removed.

Last update: Apr 15 2021 at 01:45UTC