diff options
| author | Paolo Polato <paolo.polato@mongodb.com> | 2021-06-15 14:15:43 +0000 |
|---|---|---|
| committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2021-06-15 15:48:50 +0000 |
| commit | faddcb44268d796c80306dfaffbd979f204f01ae (patch) | |
| tree | 07393d2da5e75d3119ff0240b51dd7335a470d39 /src/mongo/s | |
| parent | 26b1f6af148661db248f2b1e58489b8525c896b0 (diff) | |
| download | mongo-faddcb44268d796c80306dfaffbd979f204f01ae.tar.gz | |
Revert "SERVER-56307 fix name of server parameter"
This reverts commit 388d5c4ae92e3f63b1fcc8181702167a9b1f6c5e.
Diffstat (limited to 'src/mongo/s')
0 files changed, 0 insertions, 0 deletions