Commit cc6048c3 authored Dec 05, 2022 by Jan Kiene

Merge branch 'remove-forgotten-printout-from-sanitizer-job' into 'main'

remove printout that clutters CI console log

See merge request !314