diff options
author | Jordi Olivares Provencio <jordi.olivares-provencio@mongodb.com> | 2022-07-15 14:46:25 +0000 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2022-07-15 16:26:15 +0000 |
commit | d8616301f12951868e52e19cd696cff620caa28e (patch) | |
tree | 8e3ddeddae9ba83be8899c93cbfa465fda7e20a9 /.mypy.ini | |
parent | 6af105aa73b7e3ed88186a14a5e832434af65863 (diff) | |
download | mongo-d8616301f12951868e52e19cd696cff620caa28e.tar.gz |
SERVER-67471 Improve RecordId usage performance
Diffstat (limited to '.mypy.ini')
0 files changed, 0 insertions, 0 deletions