> On 27 Jan 2021, at 10:15, Gerwin Klein <kle...@unsw.edu.au> wrote:
>
> The Technical Steering Committee (TSC) of the seL4 Foundation will hold its
> next public meting on:
>
> Fri 29 Jan 2021
> 15:30-17:00 Sydney time (5:30am in Berlin, 8:30pm in San Francisco).
I should add that this makes it Thu 28 Jan, 8:30pm in San Francisco (Fri for
Australia and Europe).
Cheers,
Gerwin
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
