Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #73735 Incorrect clashing_extern_decl warning i


triagebot (Jun 25 2020 at 21:18, on Zulip):

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

Procedure

triagebot (Jun 25 2020 at 21:19, on Zulip):

Issue #73735's prioritization request has been removed.

triagebot (Jun 25 2020 at 21:19, on Zulip):

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

Procedure

Santiago Pastorino (Jun 25 2020 at 21:19, on Zulip):

it was prioritized right away :)

DPC (Jun 25 2020 at 22:09, on Zulip):

p-medium? because nagisa labelled p-medium by mistake so i guess that seems okay :P

Santiago Pastorino (Jul 01 2020 at 20:44, on Zulip):

this is the last unprioritized issue

Santiago Pastorino (Jul 01 2020 at 20:46, on Zulip):

as @DPC have said I think P-medium is fine

triagebot (Jul 01 2020 at 20:49, on Zulip):

Issue #73735's prioritization request has been removed.

Last update: Apr 10 2021 at 21:45UTC