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