Commit fa38391a authored Oct 12, 2022 by Jan Kiene

Merge branch '143-failed-sanitizer-test-on-main' into 'main'

Resolve "Failed sanitizer test on main"

See merge request !180