summaryrefslogtreecommitdiff
path: root/THANKYOU
diff options
context:
space:
mode:
Diffstat (limited to 'THANKYOU')
-rw-r--r--THANKYOU1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKYOU b/THANKYOU
index 22314d1e7..e9aee1ab1 100644
--- a/THANKYOU
+++ b/THANKYOU
@@ -41,6 +41,7 @@ Alexandre Oliva (oliva@dcc.unicamp.br)
Daniel Rall(dlr@west.net)
Patrik Reali (reali@inf.ethz.ch)
Petter Reinholdtsen (pere@hungry.com)
+Carl Ritson (C.G.Ritson@kent.ac.uk)
Julian Scheid (julian.scheid@sektor37.de)
Martin Schröder (ms@artcom-gmbh.de)
Robert Schuster (robertschuster@fsfe.org)