Stream: t-compiler/wg-mir-opt

Topic: post holidays

nikomatsakis (Dec 30 2019 at 16:33, on Zulip):

Hey all -- sorry I couldn't make it #t-compiler/wg-mir-opt > Post Christmas hack days, that sounded awesome. :)

nikomatsakis (Dec 30 2019 at 16:37, on Zulip):

@Santiago Pastorino was mentioning maybe some kind of discussion today?

Wesley Wiser (Dec 30 2019 at 16:41, on Zulip):

@Santiago Pastorino wanted to have this meeting today if possible:

Santiago Pastorino (Dec 30 2019 at 16:42, on Zulip):

unsure if @oli and @eddyb are around

Santiago Pastorino (Dec 30 2019 at 16:43, on Zulip):

if they are not around I propose to schedule this, maybe for next week

Santiago Pastorino (Dec 30 2019 at 16:43, on Zulip):

sorry for trying to informally schedule this meeting because my informal scheduling doesn't seem to be working :)

nikomatsakis (Dec 30 2019 at 17:17, on Zulip):

ah ok I missed that initial topic, @Wesley Wiser

Last update: Sep 18 2020 at 19:15UTC