From 033e3a8ad8cbd3a0af9d9c79be90b5039367bf5f Mon Sep 17 00:00:00 2001
From: SJost <jost@tcs.ifi.lmu.de>
Date: Wed, 17 Oct 2018 18:10:18 +0200
Subject: [PATCH] Bugfix: delete user; Help Widget (MsgMissing)

---
 ChangeLog.md    | 6 ++++++
 src/Settings.hs | 1 +
 2 files changed, 7 insertions(+)

diff --git a/ChangeLog.md b/ChangeLog.md
index 401601e10..ad60db498 100644
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,3 +1,9 @@
+  * Version 19.10.2018
+
+    Benutzer können sich in der Testphase komplett selbst löschen
+
+    Hilfe Widget
+
   * Version 18.09.2018
 
     Tooltips funktionieren auch ohne JavaScript
diff --git a/src/Settings.hs b/src/Settings.hs
index ba9515646..455839b13 100644
--- a/src/Settings.hs
+++ b/src/Settings.hs
@@ -275,6 +275,7 @@ instance FromJSON AppSettings where
         appMailFrom               <- o .: "mail-from"
         appMailObjectDomain       <- o .: "mail-object-domain"
         appMailVerp               <- o .: "mail-verp"
+        appMailSupport            <- o .: "mail-support"
 
         appJobWorkers             <- o .:  "job-workers"
         appJobFlushInterval       <- o .:? "job-flush-interval"