Merge pull request #288 from edef1c/trust-edef

Move @edef1c to trusted users
2018-12-10 09:28:41 -05:00 · 2018-12-10 09:28:41 -05:00 · dc9cdb59ad
parent 931f6ae003 1a4f75f94c
commit dc9cdb59ad
2 changed files with 1 additions and 1 deletions
--- a/config.extra-known-users.json
+++ b/config.extra-known-users.json
@ -8,7 +8,6 @@
    "brainrape",
    "costrouc",
    "danieldk",
-    "edef1c",
    "Ekleog",
    "ElvishJerricco",
    "Enzime",
--- a/config.public.json
+++ b/config.public.json
@ -31,6 +31,7 @@
            "dotlambda",
            "dtzwill",
            "dywedir",
+            "edef1c",
            "edolstra",
            "ekleog",
            "ericson2314",