Thank you, Isaac !
On Sun, Jan 23, 2022 at 8:23 PM Isaac Beckett <isaactbeck...@gmail.com> wrote: > > Other US time zones: > PST (West Coast): 1pm > MST (Mountain Time): 2pm > CST (Central Time): 3pm > EST (East Coast): 4pm > We have a lot of time zones here, it’s a bit of a pain sometimes. > > > > > On Jan 23, 2022, at 8:01 PM, devel-request@sel4.systems wrote: > > > > Send Devel mailing list submissions to > > devel@sel4.systems > > > > To subscribe or unsubscribe via email, send a message with subject or > > body 'help' to > > devel-request@sel4.systems > > > > You can reach the person managing the list at > > devel-owner@sel4.systems > > > > When replying, please edit your Subject line so it is more specific > > than "Re: Contents of Devel digest..." > > > > Today's Topics: > > > > 1. Re: seL4 developer hangout/video call (Gerwin Klein) > > > > > > ---------------------------------------------------------------------- > > > > Message: 1 > > Date: Sun, 23 Jan 2022 07:13:27 +0000 > > From: Gerwin Klein <kle...@unsw.edu.au> > > Subject: [seL4] Re: seL4 developer hangout/video call > > To: devel <devel@sel4.systems> > > Message-ID: <678c2d4c-eee5-4d79-82bd-256bc78b3...@unsw.edu.au> > > Content-Type: text/plain; charset="us-ascii" > > > > An earlier-than-usual heads-up that the seL4 developer hangout this week > > will be shifted by one day, because of the public holiday in Australia. > > > > This means, we're meeting on Wed for Europe/US and on Thu for Australia: > > > > - Sydney: Thu, Jan 27, 8am > > - Central Europe: Wed, Jan 26, 10pm > > - US West Coast: Wed, Jan 26, 1pm > > > > Zoom link: https://unsw.zoom.us/j/82640784431 > > > > Cheers, > > Gerwin > > > > > > ------------------------------ > > > > Subject: Digest Footer > > > > _______________________________________________ > > Devel mailing list -- devel@sel4.systems > > To unsubscribe send an email to devel-leave@sel4.systems > > > > > > ------------------------------ > > > > End of Devel Digest, Vol 134, Issue 1 > > ************************************* > _______________________________________________ > Devel mailing list -- devel@sel4.systems > To unsubscribe send an email to devel-leave@sel4.systems _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
