mirror of
https://github.com/mongodb/mongo.git
synced 2024-12-01 09:32:32 +01:00
Release mutex before exit
This commit is contained in:
parent
d969b31abd
commit
6ffc4ecfa7