From 4bf24d36f6faf09cdf8eccb05ad9bd7dda81393f Mon Sep 17 00:00:00 2001 From: David Thompson Date: Wed, 1 Nov 2017 13:40:22 -0400 Subject: Thank Urbain Vaes. --- THANKS | 1 + 1 file changed, 1 insertion(+) diff --git a/THANKS b/THANKS index 3c22472..e543e03 100644 --- a/THANKS +++ b/THANKS @@ -1,2 +1,3 @@ Ben Sturmfels Vladimir Zhbanov +Urbain Vaes -- cgit v1.2.3