Add Ben Sturmfels to contributors (#3786)

2017-08-23 21:12:24 +01:00 · 2017-08-23 21:12:24 +01:00 · 49745cd471
commit 49745cd471
--- a/CONTRIBUTORS.rst
+++ b/CONTRIBUTORS.rst
@ -251,6 +251,7 @@ Contributors
 * Tomasz Knapik
 * Emily Horsman
 * jcronyn
+* Ben Sturmfels

 Translators
 ===========