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/syntax_modules/sink_list.cpp | |
parent | 335251d0420523ac8b9997c802f6850c427aaf01 (diff) | |
download | sink-30f873e8633340cc2f1d7aee4bb82526c673d639.tar.gz sink-30f873e8633340cc2f1d7aee4bb82526c673d639.zip |
Avoid triggering reinsert if the leader doesn't change.
Diffstat (limited to 'sinksh/syntax_modules/sink_list.cpp')
0 files changed, 0 insertions, 0 deletions