-
Milian Wolff authored
As Igor Kushnir suggested, these are no longer needed for thread safety concerns, so let's remove this indirection again.
5e427e5d
As Igor Kushnir suggested, these are no longer needed for thread safety concerns, so let's remove this indirection again.