diff options
| author | Christian Mollekopf <chrigi_1@fastmail.fm> | 2017-02-13 18:33:49 +0100 |
|---|---|---|
| committer | Christian Mollekopf <chrigi_1@fastmail.fm> | 2017-02-13 19:42:39 +0100 |
| commit | 30f873e8633340cc2f1d7aee4bb82526c673d639 (patch) | |
| tree | f0d6ddf9acf59f8fe552c10b6f03acfb7a057e0c /sinksh | |
| parent | 335251d0420523ac8b9997c802f6850c427aaf01 (diff) | |
| download | sink-30f873e8633340cc2f1d7aee4bb82526c673d639.tar.gz sink-30f873e8633340cc2f1d7aee4bb82526c673d639.zip | |
Avoid triggering reinsert if the leader doesn't change.
Diffstat (limited to 'sinksh')
0 files changed, 0 insertions, 0 deletions