> On 12 Jul 2024, at 23:39, Matt Rice <ratm...@gmail.com> wrote: > > [You don't often get email from ratm...@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 > <devel@sel4.systems> 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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
