In article <[🔎] 199710241129.MAA04824@hermes.wi.leidenuniv.nl>, jdassen@wi.leidenuniv.nl (J.H.M.Dassen) wrote: > As the master now has the correct page again, presumably this problem > will be fixed the next time www.debian.org mirrors its pages. Yep. -- Shields, CrossLink. -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to debian-www-request@lists.debian.org . Trouble? e-mail to templin@bucknell.edu .