summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2012-06-20 15:44:29 +0200
committerLudovic Courtès <ludo@gnu.org>2012-06-20 15:44:29 +0200
commit2cb363622d03b18402d6ee15c8c87d8fee9bfc32 (patch)
tree9863ed051e33b586afbfa815e1a97b049bbd8121 /THANKS
parentf3b312a19d70293d7a3407fc4ef479183edd7cca (diff)
Update `THANKS'.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index bdf11ee28..1b61a8190 100644
--- a/THANKS
+++ b/THANKS
@@ -101,6 +101,7 @@ For fixes or providing information which led to a fix:
Daniel Llorens del Río
Jeff Long
Marco Maggi
+ Bogdan A. Marinescu
Gregory Marton
Kjetil S. Matheussen
Antoine Mathys