R.B. Boyer 115946da99
server: conditionally avoid writing a config entry to raft if it was already the same (#12321)
This will both save on unnecessary raft operations as well as
unnecessarily incrementing the raft modify index of config entries
subject to no-op updates.
2022-02-14 14:39:12 -06:00
..
2022-01-20 10:46:23 -06:00
2021-11-16 12:04:01 -06:00
2022-01-20 10:46:23 -06:00
2022-01-20 10:46:23 -06:00
2021-11-16 12:04:01 -06:00
2021-11-16 12:04:01 -06:00
2022-01-20 10:46:23 -06:00
2021-11-16 12:04:01 -06:00
2021-11-16 12:04:01 -06:00
2021-11-16 12:04:01 -06:00
2021-11-16 12:04:01 -06:00