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