Update DEVELOPERS

JabRef · Feb 5, 2018 · e33bd58 · e33bd58
1 parent 376242c
commit e33bd58
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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)