Closed woutermont closed 9 months ago
Decided to approve so to get something in quick/good enough.
Yes, agreed that the above should happen, probably as actions after the meeting of Oct 10th.
This PR was just a quick fix to overcome confusion of partipants, so I suggest to merge it.
Action following multiple cases of uncertainty (cf. matrix), and looking ahead to the special topic meeting on this 2023-10-10. Can be reverted if decision turns out to keep panel meetings alive.