Summary of changes: 0c6e015... Initialize branch F-13 for dnssec-tools (*) a704b47... update to upstream 1.6 (*) c8d7081... update to the upstream 1.7 (*) 61b2979... dist-git conversion (*) 808b985... dnsval.conf changes (*) e96ef0c... merge from trunk (*) (*) This commit already existed in another branch; no separate mail sent