Stream: t-compiler/wg-prioritization

Topic: I-nominated #70831


Santiago Pastorino (Apr 15 2020 at 21:26, on Zulip):

#70831 is nominated but I'm not sure why

Santiago Pastorino (Apr 15 2020 at 21:27, on Zulip):

couldn't add anything meaningful to the agenda

Santiago Pastorino (Apr 15 2020 at 21:28, on Zulip):

I think the PR is moving forward, actually it seems to just need an r+, @Matthew Jasper have said r=me once nits are addressed

Santiago Pastorino (Apr 15 2020 at 21:28, on Zulip):

nits seems to be already addressed

Yuki Okushi (Apr 15 2020 at 22:56, on Zulip):

I guess it's so that other members can see the perf results, they also said "if we thing that the perf is good enough"

Yuki Okushi (Apr 16 2020 at 12:56, on Zulip):

and it's r+ed and merged now

Last update: Jun 05 2020 at 23:10UTC