hey @WG-diagnostics please fill in your times when you'd most likely be able to have a sync meeting. All times are in CET (sorry, I should have chosen a better meeting planning thing): https://terminplaner4.dfn.de/9CxBBjmuVORPV37M
Is this a Zulip or Zoom meeting @oli?
but we can do a(n additional) zoom meeting if there's a strong preference
Just wondering because the times that I can do a video meeting is a strict subset of the time I can do a text meeting.
Hey @WG-diagnostics we haven't been able to find a great time, so we'll pick an Ok one. This friday at 18:00 UTC in this stream
Are you able to add this to the compiler team calendar or does @nikomatsakis need to do this?
uh I should check if I can do that