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