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