diff --git a/AUTHORS b/AUTHORS index 127b5d9d..3c7c924f 100644 --- a/AUTHORS +++ b/AUTHORS @@ -20,6 +20,7 @@ Thank you! * Asheesh Laroia * Andrew Browning * Bassam Kurdali +* Ben Sturmfels * Bernhard Keller * Berker Peksag * Beuc @@ -93,7 +94,6 @@ Thank you! * Shawn Khan * Simon Fondrie-Teitler * Stefano Zacchiroli -* sturm * thallian * Tiberiu C. Turbureanu * Tom Fay