[PPL-devel] [GIT] ppl/w3ppl(master): Acknowledge the contribution of Kenneth MacKenzie.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Apr  9 18:29:04 2009 +0200

Acknowledge the contribution of Kenneth MacKenzie.

---

 htdocs/Credits/Credits.raw |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw
index 4251841..2d48e11 100644
--- a/htdocs/Credits/Credits.raw
+++ b/htdocs/Credits/Credits.raw
@@ -296,6 +296,11 @@ maintained and improved by the following people:
                         issues on Cygwin.
   </LI>
   <LI>
+    <A HREF="http://homepages.inf.ed.ac.uk/kwxm/~spoto/">Kenneth MacKenzie</A>
+                        provided very good bug reports that allowed us to
+                        fix several problems in the OCaml interface.
+  </LI>
+  <LI>
     <A HREF="http://www.math.unipr.it/~medori/">Costantino Medori</A>
                         helped us on some mathematical aspects of the
                         development.