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