X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/ae272cb5141c5347f205180b8ccf68eb56383ae2..8632e78dd223241afc4d6a9c9afa700d388fc049:/lib/mailman.dtl
diff --git a/lib/mailman.dtl b/lib/mailman.dtl
index f2158b7..115f45f 100644
--- a/lib/mailman.dtl
+++ b/lib/mailman.dtl
@@ -15,10 +15,11 @@ extern val mailman_node_to_node : mailman_node -> node;
extern type mailman_place;
extern val mailman_place_default : mailman_node -> mailman_place;
-extern val mailman_place : mailman_node -> your_ip -> mailman_place;
+extern val mailman_place : mailman_node -> your_ip -> your_ipv6 -> mailman_place;
extern val mailman_place_to_web_node : mailman_place -> web_node;
extern val mailman_place_to_node : mailman_place -> node;
extern val mailman_place_to_ip : mailman_place -> ip;
+extern val mailman_place_to_ipv6 : mailman_place -> ipv6;
{{Analogous to web_place, but based on mailman_nodes}}
extern val mailmanVhost : host -> [Domain]