Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #74531 Missing docs for non-first impl


triagebot (Jul 19 2020 at 18:54, on Zulip):

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

Procedure

lcnr (Jul 19 2020 at 19:01, on Zulip):

Do we prioritize rustdoc issues?

Yuki Okushi (Jul 19 2020 at 19:05, on Zulip):

Looking at #72340, I think we don't have to do

triagebot (Jul 19 2020 at 19:08, on Zulip):

Issue #74531's prioritization request has been removed.

Yuki Okushi (Jul 19 2020 at 19:31, on Zulip):

so, labeling I-prioritize seems still useful for other teams but we shouldn't notify here

Yuki Okushi (Jul 19 2020 at 20:00, on Zulip):

^-- opened https://github.com/rust-lang/triagebot/issues/714

Last update: Apr 11 2021 at 18:15UTC