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