Yes, they clash. The audience apart from June, you, and me is distinct, though, so it shouldn't really be a problem. Cheers, Gerwin
On 4 Apr 2022, at 16:11, Gernot Heiser <gernot@unsw.edu.au> wrote:
Wed 07:00 UTC (Wed 17:00 EAST) is actually the time of the AGM according to my calendar.
Gernot
On 4 Apr 2022, at 14:56, Birgit Brecknell <birgit.brecknell@unsw.edu.au> wrote:
Hi all
A friendly reminder that the seL4 developer hangout is on this week:
Wed, Apr 6, 7am (UTC), Topics: (open)
* Sydney: Wed, Apr 6, 5pm * Central Europe: Wed, Apr 6, 9am * US Pacific Time: Wed, Apr 6, 12 midnight
(There are too many time zones in the world to cite them all :-))
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers, Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit@sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
_______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
_______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems