summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 6245c5b8ff..e80a47cc26 100644
--- a/THANKS
+++ b/THANKS
@@ -63,6 +63,7 @@ Robert Millan <rmillan@ackstorm.es>
Kataja Kai <kai.kataja@op.fi>
Georg Schwarz <georg.schwarz@freenet.de>
Max Kellermann <max@duempel.org>
+Ludovic Courtès <ludovic.courtes@laas.fr>
----------------------------------------------------------------------
Copying and distribution of this file, with or without modification,