Hi Matthieu,
> On 27 Jan 2021, at 23:06, Mathieu Mirmont <m...@parad0x.org> wrote: > > On 1/27/21 12:15 AM, Gerwin Klein wrote: >> Sorry about the very early time for Europe, but there are no time slots that >> work for the US, Australia, and Europe at the same time. We are planning to >> swap between better times for Europe and the US for the next meetings. > > Would the stream be accessible afterwards? e.g. YouTube? For this time the meeting will not be recorded -- we'll see how it goes and how big it gets first and look into recording/streaming options next time. I will send around summary notes afterwards, though, so that there is a record of what was discussed and decided. Cheers, Gerwin
signature.asc
Description: Message signed with OpenPGP
_______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
