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/GetStarted.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'www/GetStarted.html')

diff --git a/www/GetStarted.html b/www/GetStarted.html
index 71e6b63a..f135b2a2 100644
--- a/www/GetStarted.html
+++ b/www/GetStarted.html
@@ -236,7 +236,7 @@ runtime, which is built on top of the uClibc C library.
   to try KLEE.</li>
 </ol>
 
-<p><b>NOTE:</b> If you are installing the system of Ubuntu 12.04 (or similar), you might want to take a look at this <a href="http://keeda.stanford.edu/pipermail/klee-dev/2012-September/000922.html">thread</a>.</p>
+<p><b>NOTE:</b> If you are installing the system of Ubuntu 12.04 (or similar), you might want to take a look at this <a href="http://thread.gmane.org/gmane.comp.compilers.llvm.klee/923">message</a>.</p>
 <br/>
 
 </div>
-- 
cgit 1.4.1