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