Recording of October 18 meeting

The recording of the October 18 WG meeting is here:

https://youtu.be/cbLpKnU6RoI

Enjoy!

Harald

Received on Tuesday, 25 October 2022 16:40:02 UTC