Stream: t-compiler/wg-prioritization/alerts

Topic: I-nominated #72983 Rename TypeckTables to TypeckResults.


triagebot (Jul 02 2020 at 15:20, on Zulip):

#72983's nomination has been removed.

triagebot (Jul 02 2020 at 15:20, on Zulip):

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

Procedure

triagebot (Jul 02 2020 at 17:37, on Zulip):

#72983's nomination has been removed.

Last update: Apr 15 2021 at 02:00UTC