[PPL-devel] [GIT] ppl/w3ppl(master): There are no known bugs in PPL 0.11.

[Roberto Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: 343e44d343e12fd0af3c7513ab8bf99633f6ebdd
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=343e44d343e12fd0af3c7513ab8bf99633f6ebdd

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Aug  3 09:04:24 2010 +0200

There are no known bugs in PPL 0.11.

---

 htdocs/Bugs/Bugs.raw |    7 +++----
 1 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw
index 4b2bd94..727d624 100644
--- a/htdocs/Bugs/Bugs.raw
+++ b/htdocs/Bugs/Bugs.raw
@@ -32,16 +32,14 @@ to Report Bugs Effectively</A>, by Simon Tatham.
 
 <H2>Known Bugs in PPL @PPL_VERSION@</H2>
 
-<!--
-
 There are no known bugs in PPL @PPL_VERSION at .
 We will list here all the bugs we will find.
 There is also an <A HREF="archive">archive</A> of all known bugs
 affecting various releases of the PPL.
 
--->
+<!--
 
-Here is the list of all the known bugs in PPL @PPL_VERSION@
+Here is the list of all the known bugs in PPL 0.10.2
 (even though it is <EM>likely</EM> that there are other bugs in it).
 For each bug, it is explicitly reported whether or not
 it has already been corrected in the head revision of some Git branch.
@@ -73,3 +71,4 @@ Relevant commit is
 
 </DL>
 
+-->