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