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