Stream: t-compiler/wg-prioritization/alerts

Topic: I-nominated #74150 Avoid "blacklist"


triagebot (Jul 08 2020 at 17:40, on Zulip):

#74150's nomination has been removed.

triagebot (Jul 08 2020 at 17:40, on Zulip):

@WG-prioritization/alerts #74150 has been nominated for discussion in T-compiler meeting.

Procedure

DPC (Jul 08 2020 at 17:48, on Zulip):

the pr will most likely be merged before the meeting starts, but this issue is nominated because the compiler team wants to discuss it

triagebot (Jul 09 2020 at 15:38, on Zulip):

#74150's nomination has been removed.

Last update: Apr 15 2021 at 02:15UTC