From 49745cd471792c933f318b86d5f559ef7b46ae91 Mon Sep 17 00:00:00 2001 From: Matt Westcott Date: Wed, 23 Aug 2017 21:12:24 +0100 Subject: [PATCH] Add Ben Sturmfels to contributors (#3786) --- CONTRIBUTORS.rst | 1 + 1 file changed, 1 insertion(+) diff --git a/CONTRIBUTORS.rst b/CONTRIBUTORS.rst index 23be70ab8b..be25b79623 100644 --- a/CONTRIBUTORS.rst +++ b/CONTRIBUTORS.rst @@ -251,6 +251,7 @@ Contributors * Tomasz Knapik * Emily Horsman * jcronyn +* Ben Sturmfels Translators ===========