Commit 753d3795 authored Nov 17, 2022 by Jan Kiene

Merge branch '31-develop-performance-measurement-build' into 'main'

Resolve "Develop performance measurement build"

See merge request !241