diff --git a/THANKS b/THANKS index da6b918aac6..840dfe9ffb4 100644 --- a/THANKS +++ b/THANKS @@ -9,6 +9,7 @@ infrastructure help: LluĂ­s Batlle i Rossell Federico Beffa Marek Benc + Sylvain Beucler Carlos Carleos Felipe Castro Daniel Clark