From 1a4f75f94c98eb70407ee65faee43f7173d3bdae Mon Sep 17 00:00:00 2001
From: edef <edef@edef.eu>
Date: Mon, 10 Dec 2018 12:58:35 +0000
Subject: [PATCH] Move @edef1c to trusted users

---
 config.extra-known-users.json | 1 -
 config.public.json            | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.extra-known-users.json b/config.extra-known-users.json
index 2c7cba0..1b87ca4 100644
--- a/config.extra-known-users.json
+++ b/config.extra-known-users.json
@@ -8,7 +8,6 @@
     "brainrape",
     "costrouc",
     "danieldk",
-    "edef1c",
     "Ekleog",
     "ElvishJerricco",
     "Enzime",
diff --git a/config.public.json b/config.public.json
index 5ef75ff..7e17fc1 100644
--- a/config.public.json
+++ b/config.public.json
@@ -31,6 +31,7 @@
             "dotlambda",
             "dtzwill",
             "dywedir",
+            "edef1c",
             "edolstra",
             "ekleog",
             "ericson2314",