[Tock Devel] Tock meeting agenda 2024-07-26