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/s/shard_server_op_observer.cpp | |
| parent | 8792720ed805a05e3e0f6754f7b7f88faf8dfd7b (diff) | |
| download | mongo-60280010d13224a26aa3445944065975cc0b81a7.tar.gz | |
SERVER-61469 Fix coverity warning
Diffstat (limited to 'src/mongo/db/s/shard_server_op_observer.cpp')
0 files changed, 0 insertions, 0 deletions