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