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