summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorDavid Thompson <dthompson@vistahigherlearning.com>2018-04-02 10:11:06 -0400
committerDavid Thompson <dthompson@vistahigherlearning.com>2018-04-02 10:11:06 -0400
commitb37ef63b8a12bb55b1456064bcd1ba85c9b8723f (patch)
treed422a09d38106c6091a3820381086ab62094af68 /THANKS
parentf49a5cb3d47b2592c656debba543ed9387cf4e11 (diff)
Thank Jorge Maldonado Ventura.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 145000c..e3d8cca 100644
--- a/THANKS
+++ b/THANKS
@@ -2,3 +2,4 @@ Ben Sturmfels <ben@sturm.com.au>
Vladimir Zhbanov <vzhbanov@gmail.com>
Urbain Vaes <urbain@vaes.uk>
Alex Kost <alezost@gmail.com>
+Jorge Maldonado Ventura <jorgesumle@freakspot.net>