[seL4] Re: next seL4 TSC meeting on Thu 25 Jul

On 12 Jul 2024, at 23:39, Matt Rice wrote:

[You don't often get email from ratmice@gmail.com. Learn why this is important at https://aka.ms/LearnAboutSenderIdentification ]

On Fri, Jul 12, 2024 at 6:19 AM Gerwin Klein via Devel wrote:

...

The Technical Steering Committee (TSC) of the seL4 Foundation will hold its next public meting on:

s/meting/meeting, looking back I notice the same typo me[e]ting in the previous TSC announcement. So presumably this typo needs to be fixed in a meeting announcement template.

It’s less of a template and more of a copy/paste chain :-) Thanks! I have added cmake to the agenda and will send an updated agenda shortly. Cheers, Gerwin