Thanks!
Gerwin
> On 29 Sep 2025, at 01:43, Gernot Heiser <gernot(a)unsw.edu.au> wrote:
>
> I should be able to do it
>
> Gernot
>
>> On 27 Sep 2025, at 17:30, Gerwin Klein <gerwin.klein(a)proofcraft.systems> wrote:
>>
>> I won’t be able to make the seL4 hangout on Wed (only arriving back in Sydney on Wed) — could someone else please take over the hosting for this week?
>>
>> Cheers,
>> Gerwin
>>
>> _______________________________________________
>> Tsc-members mailing list -- tsc-members(a)sel4.systems
>> To unsubscribe send an email to tsc-members-leave(a)sel4.systems
>
>
> This email and any files transmitted with it may contain confidential information. If you believe you have received this email or any of its contents in error, please notify me immediately by return email and destroy this email. Do not use, disseminate, forward, print or copy any contents of an email received in error.
>
