From be8e5975e907030eccd517fc33fa79ddba14472c Mon Sep 17 00:00:00 2001 From: William Hart Date: Fri, 5 Aug 2016 12:12:20 +0000 Subject: [PATCH] Update AUTHORS. --- AUTHORS | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/AUTHORS b/AUTHORS index c611d70e06..c81f0a4c73 100644 --- a/AUTHORS +++ b/AUTHORS @@ -167,7 +167,8 @@ Mike Stillman, Jan Englehardt, Jean-Pierre Flori, Jeroen Demeyer, Shi Bai, Qingwen Guan, Frithjof Schulze, Robert Baillie, Oleksandr Motsak, Hans Schoenemann, Janko Boehm, Ahmed Soliman, Francois Bissey, Anton Mellit, Daniel Roche, Denis Kryskov, Daniel Fabian, Julien Ospald, mgkurtz, Max Goldfar, Max -Horn, lzmths, Claus Fieker, Volker Braun, Pascal Molin, Srajan Garg and others. +Horn, lzmths, Claus Fieker, Volker Braun, Pascal Molin, Srajan Garg, Peter +Luschny and others. $\bullet$ In addition Michael Abshoff, William Stein and Robert Bradshaw have contributed to the build system of FLINT.