people.d.o is now paradis

Signed-off-by: Julien Cristau <jcristau@debian.org>

diff --git a/templates/welcome-message-800 b/templates/welcome-message-800
index 822243f..481c9a6 100644 (file)
--- a/templates/welcome-message-800
+++ b/templates/welcome-message-800
@@ -73,7 +73,7 @@ point that some place else when the archive system is down for
 maintenance etc.).  A tool like dput or dupload can aid this
 process.
 
-The project main shell server is located at ravel.debian.org.  This
+The project main shell server is located at paradis.debian.org.  This
 machine is also reachable as people.debian.org.  If you want your own
 Debian related site to appear behind
 <URL:http://people.debian.org/~__LOGIN__/> then put it at this