Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #76736 rustdoc(nightly-rustc): Missing trait i…


triagebot (Sep 15 2020 at 10:01, on Zulip):

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

Procedure

triagebot (Sep 15 2020 at 10:01, on Zulip):

Issue #76736's prioritization request has been removed.

lzutao (Sep 15 2020 at 10:02, on Zulip):

this should be P-low but I don't have permission to tag it.

apiraino (Sep 15 2020 at 10:08, on Zulip):

tagged accordingly

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

@Joshua Nelson would it make sense to remove the T-compiler label on this issue? I'm looking at the linked PR #73771 (already merged)

lzutao (Sep 16 2020 at 10:36, on Zulip):

yeah, that make sense.

Last update: Apr 10 2021 at 21:15UTC