Commit a1256f23 by FritzFlorian

Fix: typo in thread sanitizer script.

parent aea0ed8b
Pipeline #1090 failed with stages
in 2 minutes 41 seconds