Commit f88fef2a authored by Marco Clemencic's avatar Marco Clemencic

Merge branch 'sanitizer-fixes' into 'master'

Misc. Sanitiser improvements

See merge request !1081
parents 62e8df89 e62352eb
Pipeline #1726307 failed with stages
in 24 minutes and 47 seconds