Closed fogti closed 9 months ago
Fixes #304
(Compared to other proposed patches, this avoid locking the mutex twice.)
Fixes #304