diff --git a/AUTHORS b/AUTHORS index eaef29dd8..376c11aa3 100644 --- a/AUTHORS +++ b/AUTHORS @@ -3,6 +3,7 @@ The following people have contributed code to Spot: Ala-Eddine Ben-Salem Alexandre Duret-Lutz Alexandre Lewkowicz +Amaury Fauchille Damien Lefortier Denis Poitrenaud Elie Abi Saad