New subject: seL4 developer hangout/video call

27 Jan 2022

      Hello all! If you’re reading this at the time it was sent, then the developer hangout is in roughly an hour. See you there!
...
On Jan 25, 2022, at 8:02 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: Tue, 25 Jan 2022 06:52:21 +0000
From: Gerwin Klein kleing@unsw.edu.au
Subject: [seL4] Re: seL4 developer hangout/video call
To: devel devel@sel4.systems
Message-ID: 7F36F76C-E596-4A51-9419-785AB723CC03@unsw.edu.au
Content-Type: text/plain; charset="us-ascii"
Just a reminder that seL4 dev hangout is not tomorrow, but shifted by one day.
Cheers,
Gerwin
...
On 23 Jan 2022, at 18:13, Gerwin Klein kleing@unsw.edu.au wrote:
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 135, Issue 2