Hi,

as previously announced people.debian.org will move to ravel.debian.org.

Currently we plan to change DNS on Thursday (2008-09-18) around noon UTC.

If you have any questions please don't hesitate to ask.

Cheers,
Peter

http://lists.debian.org/debian-devel-announce/2008/08/msg00012.html
https://dsawiki.debian.org/dsawiki/2008-newpeople

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFIz61Yz/ccs6+kS90RAnHkAKCZl8bdSn6v01sHnlLasoMJWKypEQCdFUME
YvKyzXPnxA76eRP+hVogCnM=
=SS11
-----END PGP SIGNATURE-----