From eaf5483b67910eb8a5f03ff8170a1de41a4ce4a8 Mon Sep 17 00:00:00 2001
From: jacereda <jacereda@gmail.com>
Date: Thu, 21 Feb 2019 13:21:17 +0100
Subject: [PATCH] Add jacereda 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 c2f0af1..9d755f1 100644
--- a/config.extra-known-users.json
+++ b/config.extra-known-users.json
@@ -22,6 +22,7 @@
     "Gerschtli",
     "grwlf",
     "imalsogreg",
+    "jacereda",
     "jfrankenau",
     "jlesquembre",
     "jluttine",