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