On 06.05.2003 01:26, Robin H. Johnson wrote:
Are any other files missing?
Only the ChangeLog was deleted on update...
I'm submitting a SF bug item now. Bug ID# to follow. If you find any other files missing, please note them there.
Yesterday evening (CEST) was CVS unaccessible, so they probably had some problems there...