From f416f8f30c22aadb5dac1fa353fbc1df801e2f20 Mon Sep 17 00:00:00 2001
From: Graham Christensen <graham@grahamc.com>
Date: Fri, 17 Aug 2018 07:45:56 -0400
Subject: [PATCH] Add three people, closes #222 closes #217 closes #200

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

diff --git a/config.extra-known-users.json b/config.extra-known-users.json
index 9a17342..8e76628 100644
--- a/config.extra-known-users.json
+++ b/config.extra-known-users.json
@@ -7,8 +7,11 @@
     "Ekleog",
     "etu",
     "fgaz",
+    "grwlf",
     "infinisil",
+    "imalsogreg",
     "jlesquembre",
+    "johanot",
     "kalbasit",
     "knedlsepp",
     "Ma27",