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