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