Re: [sr #111204] Out of disk space for cvs web update

[Alfred M. Szmidt]

On the other hand, 7G today is nothing; that is some peoples mail
boxes on Fencepost.  And those might be in the lower numbers ....

Maybe time to upgrade the space on that drive.