diff --git a/AUTHORS b/AUTHORS index 7be10ab59e8a..b80ab7b7291d 100644 --- a/AUTHORS +++ b/AUTHORS @@ -886,6 +886,7 @@ Marco Fontani Marco Peereboom Marcus Holland-Moritz Marek Rouchal +Marin Tsanov Mark A Biggar Mark A. Hershberger Mark A. Stratman