aboutsummaryrefslogtreecommitdiffstats
path: root/AUTHORS
diff options
context:
space:
mode:
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS2
1 files changed, 1 insertions, 1 deletions
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