diff --git a/AUTHORS b/AUTHORS index 4b0b2996d..e87eff652 100644 --- a/AUTHORS +++ b/AUTHORS @@ -1,10 +1,11 @@ -Have contributed to Spot: +The following people have contributed code to Spot: Ala-Eddine Ben-Salem Alexandre Duret-Lutz Damien Lefortier Denis Poitrenaud Elie Abi Saad +Étienne Renault Félix Abecassis Guillaume Sadegh Heikki Tauriainen