lib: add AAAA record for mailman hosts

diff --git a/lib/mailman.dtl b/lib/mailman.dtl
index 115f45f..8de45ee 100644 (file)
--- a/lib/mailman.dtl
+++ b/lib/mailman.dtl
@@ -35,6 +35,7 @@ val mailman = \ host : (host) -> begin
     domainHost host;
   in
     dnsIP host (ip_of_node (mailman_node_to_node mailman_node));
+    dnsIPv6 host (ipv6_of_node (mailman_node_to_node mailman_node));
     mwh <- Hostname;
     mailmanWebHost mwh;
     mailmanVhost host where