Javier Fernández-Sanguino Peña Fri, 02 Nov 2001 10:54:53 -0600
It seems that www.debian.org is not responding. Is anyone looking at this problem? Can I help?
Javi