Stream: t-compiler/wg-meta

Topic: leads of the meta WG


nikomatsakis (Feb 26 2019 at 18:41, on Zulip):

BTW, @Santiago Pastorino was asking me in privmsg who should "lead" meta WG -- I'm happy to be listed as lead, but I feel like @davidtwco has been playing a leadership role, and @Santiago Pastorino also expressed an interest. I'm happy for the 3 of us to be listed as lead, seem reasonable? I definitely feel like I could use some help in managing things.

davidtwco (Feb 26 2019 at 18:42, on Zulip):

I don't mind that.

Santiago Pastorino (Feb 26 2019 at 18:43, on Zulip):

:+1:

nikomatsakis (Feb 26 2019 at 19:25, on Zulip):

btw I added you both to the repository

Last update: Nov 18 2019 at 00:55UTC