diff --git a/docs/Contributors.txt b/docs/Contributors.txt index 5d1f11cd4a..2ce1f679fb 100644 --- a/docs/Contributors.txt +++ b/docs/Contributors.txt @@ -103,6 +103,7 @@ Marc Fokker Marc Geldon Marc Weustink Marcelo Borges de Paula +Mario Bonati Marius Ellen Markus Muller Martin Friebe