It seemed to work yesterday night, but it now seems to be down again. -- Hugo -- E-mail the word "unsubscribe" to debian-devel-request@lists.debian.org TO UNSUBSCRIBE FROM THIS MAILING LIST. Trouble? E-mail to listmaster@lists.debian.org