summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2015-07-22 23:47:07 +0200
committerLudovic Courtès <ludo@gnu.org>2015-07-22 23:47:35 +0200
commit0e9f9f7bc23a7e7f2390eb1bbb09f36f33cda534 (patch)
tree10671e36deaacde906c2b33bb0df46cc7920c9bd /THANKS
parent254b1c2e95bfbf5af351ebf65d620df04311d4f8 (diff)
Thank Malcolm.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 76fecd66f8..d097547649 100644
--- a/THANKS
+++ b/THANKS
@@ -13,6 +13,7 @@ infrastructure help:
Daniel Clark <dclark@pobox.com>
Alexandru Cojocaru <xojoc@gmx.com>
Aleix Conchillo Flaqué <aconchillo@gmail.com>
+ Malcolm Cook <MEC@stowers.org>
Rafael Ferreira <rafael.f.f1@gmail.com>
Christian Grothoff <christian@grothoff.org>
Konrad Hinsen <konrad.hinsen@fastmail.net>