Subject: Namechange of domestic --> crypto-us
To: None <>
From: Frank van der Linden <>
List: current-users
Date: 05/10/2000 00:22:04
As some of you already noticed, I changed the name of "domestic" to
what it should be: "crypto-us".

I was going to wait with announcing it after checking if all went ok
(i.e. re-running the ftp server cvs update and supscan), but unfortunately
this process is going ridiculously slow, so some of you have seen
the disappearance of the "domestic" dir, but not the appearance
of crypto-us.

Using SUP, it'll fetch the whole of crypto-us after deleting domestic.
Unfortunately, there is no way of telling it that it was just a name

Everything should be ok by tomorrow, apologies for the inconvenience.

- Frank