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: > > 1. Re: seL4 developer hangout/video call (Gerwin Klein) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Tue, 25 Jan 2022 06:52:21 +0000 > From: Gerwin Klein <kle...@unsw.edu.au> > Subject: [seL4] Re: seL4 developer hangout/video call > To: devel <devel@sel4.systems> > Message-ID: <7f36f76c-e596-4a51-9419-785ab723c...@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 <kle...@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 > ************************************* _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
