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