diff --git a/doc/CONTRIBUTORS b/doc/CONTRIBUTORS index 945e2a3e475..b8f8f0c66a1 100644 --- a/doc/CONTRIBUTORS +++ b/doc/CONTRIBUTORS @@ -6,6 +6,7 @@ # Alessandro Pasotti Alexandre Neto +Andrea Giudiceandrea Andreas Neumann Andres Manz Anita Graser