summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <[email protected]>2014-11-08 14:41:04 +0100
committerLudovic Courtès <[email protected]>2014-11-08 15:10:42 +0100
commitccdca0a09e19a988ce5045afbdc1026f11b70e59 (patch)
tree0a309ae5e4ddf5dd109b5c6d92df7c222faf823e
parentd8c1944196589b1a010beeeef357e7822c3ba5d0 (diff)
Thank Felipe.
-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:
Alex Kost <[email protected]>
Matthew Lien <[email protected]>
+ Felipe López <[email protected]>
Niels Möller <[email protected]>
Yutaka Niibe <[email protected]>
Adam Pribyl <[email protected]>