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