Commit ffa86e78 authored Nov 04, 2022 by Jan Kiene

Merge branch 'kiene-fix-sanitizer-test-setup' into 'main'

Adjust sanitizer setup

See merge request !234