summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <[email protected]>2015-07-22 23:47:07 +0200
committerLudovic Courtès <[email protected]>2015-07-22 23:47:35 +0200
commit0e9f9f7bc23a7e7f2390eb1bbb09f36f33cda534 (patch)
tree10671e36deaacde906c2b33bb0df46cc7920c9bd
parent254b1c2e95bfbf5af351ebf65d620df04311d4f8 (diff)
Thank Malcolm.
-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 <[email protected]>
Alexandru Cojocaru <[email protected]>
Aleix Conchillo Flaqué <[email protected]>
+ Malcolm Cook <[email protected]>
Rafael Ferreira <[email protected]>
Christian Grothoff <[email protected]>
Konrad Hinsen <[email protected]>