[Tock Devel] Tock meeting agenda 2024-12-13