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