gerrit.named-data.net / ndns / 3c72318c0ae3c2b6c65e99ceba908464f1ff7b2f / src / db / db-mgr.hpp