/dns.c/1.11/Thu Sep 20 23:15:39 2018//
/dns.h/1.7/Thu Sep 20 23:15:39 2018//
/infra.c/1.7/Mon Oct  8 16:03:53 2018//
/infra.h/1.3/Sat Aug 12 11:22:46 2017//
/rrset.c/1.6/Thu Sep 20 23:15:39 2018//
/rrset.h/1.3/Thu Mar 29 19:44:35 2018//
D
