Stream: cranelift

Topic: meeting right now?


view this post on Zulip Chris Fallin (Apr 18 2022 at 15:33):

Hey all -- not too many of the regulars have shown up today; wondering if others are intending to join? @Andrew Brown @Johnnie Birch @Sam Parker @Anton Kirilov @Ulrich Weigand

view this post on Zulip Andrew Brown (Apr 18 2022 at 15:35):

Sorry, yeah running late...

view this post on Zulip Sam Parker (Apr 19 2022 at 07:37):

Sorry @Chris Fallin , it was a public holiday for most of us europeans!

view this post on Zulip Chris Fallin (Apr 19 2022 at 16:09):

@Sam Parker no worries, we realized that eventually... also, please do feel free (you or anyone else) to suggest canceling when holidays occur! I generally cancel for US holidays and there is no reason we shouldn't do the same for others if it affects regular attendees :-)

view this post on Zulip Sam Parker (Apr 26 2022 at 11:34):

@Chris Fallin it's a public holiday, at least in the UK, on 2nd May so might be good to reorganize next weeks meeting?

view this post on Zulip Chris Fallin (Apr 26 2022 at 16:28):

@Sam Parker thanks for the heads-up, I will go ahead and cancel it

view this post on Zulip Anton Kirilov (Apr 26 2022 at 18:10):

I think both @Sam Parker and I, for example, would be fine if the meeting is rescheduled to a different day in the same week, though cancellation is an option, of course.

view this post on Zulip Chris Fallin (Apr 26 2022 at 22:14):

maybe next meeting we can talk about an "alternate slot" that works for most folks if a holiday lands on the usual one

view this post on Zulip Chris Fallin (Apr 26 2022 at 22:17):

(I suppose we could fall back to the wasmtime slot, since CL and Wasmtime biweeklies happen on alternate weeks and it's unlikely others would have conflicting weekly meetings because of the latter, if they attend both; unfortunately next week in particular I'm out on Thu)


Last updated: Nov 22 2024 at 16:03 UTC