Commit b0527554 by FritzFlorian

Fix: handle thread sanitizer logfile correctly.

parent a1256f23
Pipeline #1091 failed with stages
in 2 minutes 5 seconds