gerrit.named-data.net / ChronoSync / 7558ed2a17bbec858afde55453f979acc9e627cb / src / diff-state.hpp