diff --git a/DEVELOPERS b/DEVELOPERS index 62ba2041981..b0f72b6de06 100644 --- a/DEVELOPERS +++ b/DEVELOPERS @@ -1,9 +1,7 @@ Oliver Kopp (since 2011) -Simon Harrer (since 2014) Jörg Lenhard (since 2015) Stefan Kolb (since 2015) Matthias Geiger (since 2015) -Oscar Gustafsson (since 2015) Tobias Diez (since 2015) Christoph Schwentker (since 2016) Linus Dietz (since 2017)