The debian lists are being shut down temporarily due to too much spam. They should be back up in a few days. Bruce Perens Debian List Manager -- Bruce Perens K6BP Bruce@Pixar.com Finger Bruce@master.Debian.org for PGP public key. PGP fingerprint = 88 6A 15 D0 65 D4 A3 A6 1F 89 6A 76 95 24 87 B3 -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to debian-devel-REQUEST@lists.debian.org . Trouble? e-mail to Bruce@Pixar.com