diff options
author | Tommaso Tocci <tommaso.tocci@mongodb.com> | 2021-07-26 14:26:00 +0200 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2021-07-29 08:20:46 +0000 |
commit | e81cb3762287d565644a96d2891d7d8ad820f1b0 (patch) | |
tree | 952364d65f9a12a22bf9b18ab04b139debeb1332 /.gdbinit | |
parent | e6814e16c2f31cf0fd8328ddd3809e485be60d65 (diff) | |
download | mongo-e81cb3762287d565644a96d2891d7d8ad820f1b0.tar.gz |
SERVER-50675 Get rid of Grid's configOpTime after 5.0 has branched out
Diffstat (limited to '.gdbinit')
0 files changed, 0 insertions, 0 deletions