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