From 26bf73bf80369a24467fcf1f53165824cbcd5679 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Wed, 12 Dec 2012 22:11:00 +0000
Subject: Updated mailing list info + other small changes.

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

(limited to 'www/GetInvolved.html')

diff --git a/www/GetInvolved.html b/www/GetInvolved.html
index c94ca765..0cde1299 100644
--- a/www/GetInvolved.html
+++ b/www/GetInvolved.html
@@ -22,12 +22,18 @@ contribute, here are some resources that may prove useful.</p>
 
 <p>Currently the main list for KLEE discussion (both for users and developers)
 is <a href="klee-dev.html">klee-dev</a>.</p>
-
+  
 <p>Commit messages to the KLEE repository go to 
-<a href="http://keeda.stanford.edu/mailman/listinfo/klee-commits">klee-commits</a>. This
+<a href="https://mailman.ic.ac.uk/mailman/listinfo/klee-commits">klee-commits</a>. This
 is also the place to send patches if you are interested in contributing to
 KLEE.</p>
 
+<h2><a name="BugReports">Bug Reports</a></h2>
+  
+<p>If you find a bug in KLEE, please report it on <a href="klee-dev.html">klee-dev</a>
+and also fill a bug report on <a href="http://llvm.org/bugs/">Bugzilla</a></a> under the <b>klee</b> product.</p>
+
+  
 <h2>Working with the Code</h2>
 
 <p>KLEE developer documentation is written in doxygen and you may have it online here:
-- 
cgit 1.4.1