Stream: cranelift

Topic: cancel meeting 2022-08-15


view this post on Zulip Chris Fallin (Aug 11 2022 at 17:39):

Hi all -- I think we should cancel our "overflow-time meeting" on this coming Monday (Aug 15), as it's a public holiday for at least one regular participant :-)

In general I'm happy to have us cancel for anyone's public holiday; it's not a huge burden as we now reserve the slot every week, and it's only fair. I'll try to stay up to date on holiday schedules in regular attendees' locations but please let me know if we miss one.

(I never created an agenda for Aug 15 so I can't signal this by deleting it; hence the announcement here. cc @fitzgen (he/him) @Jamey Sharp @Trevor Elliott @Ulrich Weigand @Sam Parker @Anton Kirilov @Benjamin Bouvier @Andrew Brown @Johnnie Birch @Saúl Cabrera @bjorn3 @Afonso Bordado )


Last updated: Dec 23 2024 at 12:05 UTC