diff options
author | Paolo Polato <paolo.polato@mongodb.com> | 2021-11-19 09:46:25 +0000 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2021-11-19 10:14:45 +0000 |
commit | 60280010d13224a26aa3445944065975cc0b81a7 (patch) | |
tree | 031dd025bfff27ad24c9b878384874e39b9c351c /src/mongo/db/op_observer.h | |
parent | 8792720ed805a05e3e0f6754f7b7f88faf8dfd7b (diff) | |
download | mongo-60280010d13224a26aa3445944065975cc0b81a7.tar.gz |
SERVER-61469 Fix coverity warning
Diffstat (limited to 'src/mongo/db/op_observer.h')
0 files changed, 0 insertions, 0 deletions