diff options
| author | Geert Bosch <geert@mongodb.com> | 2019-02-14 09:51:41 -0500 |
|---|---|---|
| committer | Geert Bosch <geert@mongodb.com> | 2019-02-14 09:51:41 -0500 |
| commit | 27d6644dffd80f139b90a8e89f1b21d8830ec35a (patch) | |
| tree | b2d0e83418019fb41785163eb7f1cd21d2f9c74b /mypy.ini | |
| parent | 7f82db91f5a77568c72669554abe22b79b5dc312 (diff) | |
| download | mongo-27d6644dffd80f139b90a8e89f1b21d8830ec35a.tar.gz | |
Revert "SERVER-38696 Add additional metrics and logging for new step down sequence."
This reverts commit 6089c4c1d8f166b6b61cec980672779b7cedc303.
Diffstat (limited to 'mypy.ini')
0 files changed, 0 insertions, 0 deletions