From 42d54bf36e76119a7be658779053ae6474662369 Mon Sep 17 00:00:00 2001
From: Philipp Middendorf <middendorf@plapadoo.de>
Date: Fri, 5 Oct 2018 09:43:30 +0200
Subject: [PATCH] add pmiddend to extra-known-users

---
 config.extra-known-users.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/config.extra-known-users.json b/config.extra-known-users.json
index 24eeb43..c61080a 100644
--- a/config.extra-known-users.json
+++ b/config.extra-known-users.json
@@ -20,6 +20,7 @@
     "markuskowa",
     "oxij",
     "pbogdan",
+    "pmiddend",
     "samueldr",
     "Synthetica9",
     "smaret",