From 8daccdd7c3d43c35e6c67db15628ac0987860dff Mon Sep 17 00:00:00 2001 From: Clinton Ebadi Date: Sun, 2 Dec 2018 17:04:49 -0500 Subject: [PATCH] hcoop: move mailman from mccarthy to minsky --- configDefault/mailman.cfg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configDefault/mailman.cfg b/configDefault/mailman.cfg index 3cec801..e925149 100644 --- a/configDefault/mailman.cfg +++ b/configDefault/mailman.cfg @@ -1,6 +1,6 @@ structure Mailman :> MAILMAN_CONFIG = struct -val node = "mccarthy" +val node = "minsky" val mapFile = ConfigCore.localRoot ^ "/mailman.map" val handleDomains = ConfigCore.localRoot ^ "/mailman_domains.cfg" -- 2.20.1