current-users: Re: daily CVS update output

Subject: Re: daily CVS update output
To: None <Havard.Eidnes@runit.sintef.no>
From: matthew green <mrg@eterna.com.au>
List: current-users
Date: 04/07/1998 18:37:48

actually, the cvs server had a disk problem, but it has been restored and
the cvs update has already finished.