summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-11-08 14:41:04 +0100
committerLudovic Courtès <ludo@gnu.org>2014-11-08 15:10:42 +0100
commitccdca0a09e19a988ce5045afbdc1026f11b70e59 (patch)
tree0a309ae5e4ddf5dd109b5c6d92df7c222faf823e /THANKS
parentd8c1944196589b1a010beeeef357e7822c3ba5d0 (diff)
Thank Felipe.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 36eb124da6..b554126efa 100644
--- a/THANKS
+++ b/THANKS
@@ -22,6 +22,7 @@ infrastructure help:
Kete <kete@ninthfloor.org>
Alex Kost <alezost@gmail.com>
Matthew Lien <bluet@bluet.org>
+ Felipe López <felipe.lopez@openmailbox.org>
Niels Möller <nisse@lysator.liu.se>
Yutaka Niibe <gniibe@fsij.org>
Adam Pribyl <pribyl@lowlevel.cz>