[seL4] Re: Public TSC meeting on Fri, 29 Jan

On 27 Jan 2021, at 10:15, Gerwin Klein 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