From e33bd58884412e265df89554c1b43c59aec151ce Mon Sep 17 00:00:00 2001
From: Stefan Kolb <stefan-kolb@users.noreply.github.com>
Date: Mon, 5 Feb 2018 14:23:06 +0100
Subject: [PATCH] Update DEVELOPERS

---
 DEVELOPERS | 2 --
 1 file changed, 2 deletions(-)

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)