diff options
Diffstat (limited to 'www/bugs.html')
| -rw-r--r-- | www/bugs.html | 5 |
1 files changed, 2 insertions, 3 deletions
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> |