summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2016-07-18 06:55:15 +0200
committerRicardo Wurmus <rekado@elephly.net>2016-07-18 06:56:29 +0200
commit1d743e6bdda65e783087ad8b9b4289d0ef581a5a (patch)
tree7b178790cae9d0bbd2319560d1f88471675a81d0
parent2517a7b3e2a37f6fa9f1e4cb5c42ef8e03f6acaa (diff)
Thank Thomas.
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index b0dd79382a..af7afd3576 100644
--- a/THANKS
+++ b/THANKS
@@ -14,6 +14,7 @@ infrastructure help:
Alexandru Cojocaru <xojoc@gmx.com>
Aleix Conchillo FlaquƩ <aconchillo@gmail.com>
Malcolm Cook <MEC@stowers.org>
+ Thomas Danckaert <thomas.danckaert@gmail.com>
Rafael Ferreira <rafael.f.f1@gmail.com>
Christian Grothoff <christian@grothoff.org>
Eric Hanchrow <eric.hanchrow@gmail.com>