Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #77713 New "warning incompatible with previous…


triagebot (Oct 08 2020 at 19:16, on Zulip):

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

Procedure

LeSeulArtichaut (Oct 08 2020 at 19:49, on Zulip):

I think we should wait on T-lang here

Camelid (Oct 08 2020 at 20:06, on Zulip):

Sounds good to me

Camelid (Oct 12 2020 at 20:22, on Zulip):

It looks like T-lang discussed this today. Based on nikomatsakis's post, maybe P-high? Cc @nikomatsakis

nikomatsakis (Oct 12 2020 at 20:23, on Zulip):

Yeah we didn't firmly conclude one way or the other, but I'd say that we would be happy to make this a non-breaking change overall.

Camelid (Oct 12 2020 at 20:28, on Zulip):

Does P-high make sense to you then?

nikomatsakis (Oct 12 2020 at 20:46, on Zulip):

Yes

triagebot (Oct 12 2020 at 20:48, on Zulip):

Issue #77713's prioritization request has been removed.

triagebot (Dec 03 2020 at 15:57, on Zulip):

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

Procedure

triagebot (Dec 03 2020 at 15:57, on Zulip):

Issue #77713's prioritization request has been removed.

Last update: Apr 10 2021 at 23:00UTC