[seL4] Re: seL4 developer hangout/video call

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