From efa145cc4b52261c22cbc9627f90d32c8797219c Mon Sep 17 00:00:00 2001 From: David Thompson Date: Mon, 19 Mar 2018 10:11:25 -0400 Subject: Thank Alex Kost. --- THANKS | 1 + 1 file changed, 1 insertion(+) diff --git a/THANKS b/THANKS index e543e03..145000c 100644 --- a/THANKS +++ b/THANKS @@ -1,3 +1,4 @@ Ben Sturmfels Vladimir Zhbanov Urbain Vaes +Alex Kost -- cgit v1.2.3