-
Oran Agra authored
this race would only happen when two threads paniced at the same time, and even then the only consequence is some extra log lines. race reported in #7391
81f8524a
this race would only happen when two threads paniced at the same time, and even then the only consequence is some extra log lines. race reported in #7391