From b37ef63b8a12bb55b1456064bcd1ba85c9b8723f Mon Sep 17 00:00:00 2001 From: David Thompson Date: Mon, 2 Apr 2018 10:11:06 -0400 Subject: Thank Jorge Maldonado Ventura. --- THANKS | 1 + 1 file changed, 1 insertion(+) (limited to 'THANKS') diff --git a/THANKS b/THANKS index 145000c..e3d8cca 100644 --- a/THANKS +++ b/THANKS @@ -2,3 +2,4 @@ Ben Sturmfels Vladimir Zhbanov Urbain Vaes Alex Kost +Jorge Maldonado Ventura -- cgit v1.2.3