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/bugs.html | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'www/bugs.html')

diff --git a/www/bugs.html b/www/bugs.html
index fca13033..1ac9421a 100644
--- a/www/bugs.html
+++ b/www/bugs.html
@@ -16,9 +16,8 @@
   <!--*********************************************************************-->
 
   Please report any bugs in KLEE to
-  the <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev
-  mailing list</a>.  You need to be subscribe to the list in order to
-  send your report.
+  the <a href="klee-dev.html">klee-dev mailing list</a>.  You need to
+  be subscribe to the list in order to send your report.
 
 </div>
 </body>
-- 
cgit 1.4.1