Commit 2263703b by FritzFlorian

Fix: Thread sanitizer race.

See the comment in the source. This race should actually not be important, but we fix it anyways for now to make the CI happy.
parent e1b88ef5
Pipeline #1254 passed with stages
in 3 minutes 43 seconds