From 60dbbf4368f89bcabed1b3adf95dc0a59d08b5d9 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Wed, 23 Jan 2013 16:30:55 +0000
Subject: Updated text referring to the old mailing list on keeda.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173271 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/klee-dev.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'www/klee-dev.html')

diff --git a/www/klee-dev.html b/www/klee-dev.html
index 8f965e8a..5434ce57 100644
--- a/www/klee-dev.html
+++ b/www/klee-dev.html
@@ -21,8 +21,8 @@
   mailing list.</p>
 
   
-  <p>However, before doing so, please check <a href="
-  http://www.mail-archive.com/klee-dev@keeda.stanford.edu/">klee-dev's
+  <p>However, before doing so, please
+  check <a href="http://www.mail-archive.com/klee-dev@imperial.ac.uk/">klee-dev's
   searchable archive<a/> to see if your question has already been
   answered.</p>
 
-- 
cgit 1.4.1