[Tock Devel] Tock meeting agenda 2024-08-30