hcoop: move mailman from mccarthy to minsky

diff --git a/configDefault/mailman.cfg b/configDefault/mailman.cfg
index 3cec801..e925149 100644 (file)
--- a/configDefault/mailman.cfg
+++ b/configDefault/mailman.cfg
@@ -1,6 +1,6 @@
 structure Mailman :> MAILMAN_CONFIG = struct
 
 structure Mailman :> MAILMAN_CONFIG = struct
 

-val node = "mccarthy"
+val node = "minsky"

 
 val mapFile = ConfigCore.localRoot ^ "/mailman.map"
 val handleDomains = ConfigCore.localRoot ^ "/mailman_domains.cfg"
 
 val mapFile = ConfigCore.localRoot ^ "/mailman.map"
 val handleDomains = ConfigCore.localRoot ^ "/mailman_domains.cfg"