[PPL-devel] [GIT] ppl/w3ppl(master): Completed commit information for bug correction.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Apr 16 11:40:03 2009 +0200

Completed commit information for bug correction.

---

 htdocs/Bugs/archive.raw |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw
index b7a7157..759097f 100644
--- a/htdocs/Bugs/archive.raw
+++ b/htdocs/Bugs/archive.raw
@@ -13,8 +13,11 @@ for various versions of the PPL.
 <DT><STRONG>April 16, 2009</STRONG></DT>
 <DD>
 Fixed a bug whereby <CODE>make -n</CODE> (possibly followed by
-one or more make targets) was not working as expected
-(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5c7c849dc491e2057c5da89b777ab61377df240">d5c7c849dc491e2057c5da89b777ab61377df240</A>).
+one or more make targets) was not working as expected.
+Relevant commits are
+<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5c7c849dc491e2057c5da89b777ab61377df240">d5c7c849dc491e2057c5da89b777ab61377df240</A>
+and
+<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=196f2de7fe79d67450109628d144b9b8f4ec2e3e">196f2de7fe79d67450109628d144b9b8f4ec2e3e</A>.
 </DD>
 
 <DT><STRONG>April 15, 2009</STRONG></DT>