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