Just a reminder that seL4 dev hangout is not tomorrow, but shifted by one day.
On 23 Jan 2022, at 18:13, Gerwin Klein
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