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