diff --git a/AUTHORS.txt b/AUTHORS.txt
index ad94e3cd2ae..c6249e82216 100644
--- a/AUTHORS.txt
+++ b/AUTHORS.txt
@@ -89,6 +89,7 @@ Kelly Wilson <wilsonk@cpsc.ucalgary.ca>
 Kevin Atkinson <kevina@cs.utah.edu>
 Kevin Cantu <me@kevincantu.org>
 Kyeongwoon Lee <kyeongwoon.lee@samsung.com>
+Laurent Bonnans <bonnans.l@gmail.com>
 Lennart Kudling <github@kudling.de>
 Lindsey Kuper <lindsey@composition.al>
 Luca Bruno <lucab@debian.org>