Jakob Ackermann 1edc628454 [misc] MongoManager: drop unused, potentially expensive default options ...

All call-sites specify an options object.

2021-01-04 16:07:14 +00:00

..

docstore

[misc] MongoManager: drop unused, potentially expensive default options

2021-01-04 16:07:14 +00:00