-
Tim-Philipp Müller authored
Not that it is likely to matter in practice, but since these are public API they should probably be thread-safe.
9bd4432d
Not that it is likely to matter in practice, but since these are public API they should probably be thread-safe.