[Tock Devel] Tock meeting agenda 2024-11-15