Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from nsf.ac.uk by swan.cl.cam.ac.uk via JANET
          with NIFTP to fgate (PP) id <6200-0@swan.cl.cam.ac.uk>;
          Wed, 1 May 1991 23:24:11 +0100
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <28038-15@sun2.nsfnet-relay.ac.uk>;
          Wed, 1 May 1991 23:16:19 +0100
Received: from [129.101.100.20] by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP
          id aa18605; 1 May 91 18:37 BST
Received: from panther.cs.uidaho.edu by ted.cs.uidaho.edu (15.11/1.34)
          id AA06866; Wed, 1 May 91 10:28:38 pdt
Received: by panther.cs.uidaho.edu (5.57/Ultrix3.0-C) id AA19596;
          Wed, 1 May 91 10:30:51 -0700
Message-Id: <9105011730.AA19596@panther.cs.uidaho.edu>
To: info-hol@edu.uidaho.cs.ted
Subject: info-hol and Clover
Date: Wed, 01 May 91 10:30:50 PDT
From: Phil Windley <windley@edu.uidaho.cs.panther>


I'm sending this note to remind you that CLOVER.UCDAVIS.EDU has been turned
off.  Most of you have switched to sending postings to
info-hol@IRIS.EECS.UCDAVIS.EDU or info-hol@CS.UIDAHO.EDU.  Either of these
will continue to work.  As always, requests to be added or deleted should
be sent to info-hol-request@IRIS.EECS.UCDAVIS.EDU or
info-hol-request@CS.UIDAHO.EDU.

Mail sent to CLOVER still gets through (via an MX record for IRIS), but
requires manual intervention.  In the interest of letting the sysadmin
types at UC Davis do more important things (like rebuilding HOL), please
change any mail aliases, etc. that you have.

Thanks.

--phil--