Stream: t-lang/wg-unsafe-code-guidelines

Topic: meeting-2019-04-25


RalfJ (Apr 25 2019 at 14:43, on Zulip):

I won't be able to make it today, sorry -- we have visitors at the institute

nikomatsakis (Apr 25 2019 at 15:06, on Zulip):

I could actually use the time too -- but @RalfJ and others, I had a specific question I wanted to ask

nikomatsakis (Apr 25 2019 at 15:07, on Zulip):

I wanted to schedule a time to discuss the &raw rfc

nikomatsakis (Apr 25 2019 at 15:07, on Zulip):

with lang team

nikomatsakis (Apr 25 2019 at 15:07, on Zulip):

Are you able to make the lang team slot in general? It's pretty late for you I know

nikomatsakis (Apr 25 2019 at 15:07, on Zulip):

Prob not this week

nikomatsakis (Apr 25 2019 at 15:07, on Zulip):

Is there a week that works better for you over the next couple weeks?

nikomatsakis (Apr 25 2019 at 15:07, on Zulip):

(This applies also to anyone else in @WG-unsafe-code-guidelines who is interested)

avadacatavra (Apr 25 2019 at 15:16, on Zulip):

I'll catch up on unsafe guidelines from my 2 weeks off--will next week work for people to meet?

gnzlbg (Apr 25 2019 at 15:52, on Zulip):

I can't make it either - need to prepare my birthday :tada:

RalfJ (Apr 25 2019 at 16:00, on Zulip):

@gnzlbg also an April child? It's actually my birthday today. ;)

RalfJ (Apr 25 2019 at 16:00, on Zulip):

Are you able to make the lang team slot in general? It's pretty late for you I know

don't really have a preference... the next Thursday evenings are all equally free here

RalfJ (Apr 25 2019 at 16:01, on Zulip):

@nikomatsakis btw what's the status of the GH pages thing? ;)

nikomatsakis (Apr 26 2019 at 19:31, on Zulip):

don't really have a preference... the next Thursday evenings are all equally free here

OK -- it would not be next week, because we plan to talk async-await, but maybe the next few weeks after that, not sure

nikomatsakis (Apr 26 2019 at 19:32, on Zulip):

btw what's the status of the GH pages thing? ;)

not done but on my list! I've got this big list of things for today that I'm trying to cross off and it's on there :)

gnzlbg (Apr 27 2019 at 13:12, on Zulip):

@RalfJ yeah also an april child, me on the 24th, and my gf on the 25th

gnzlbg (Apr 27 2019 at 13:13, on Zulip):

@nikomatsakis let me know if I can help

Last update: Nov 20 2019 at 11:30UTC