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