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