New subject: seL4 developer hangout/video call

24 Jan 2022

      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:

Re: seL4 developer hangout/video call (Gerwin Klein)

Message: 1
Date: Sun, 23 Jan 2022 07:13:27 +0000
From: Gerwin Klein kleing@unsw.edu.au
Subject: [seL4] Re: seL4 developer hangout/video call
To: devel devel@sel4.systems
Message-ID: 678C2D4C-EEE5-4D79-82BD-256BC78B3BFC@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