From b9edceadf49c57e622304f4de4662a6f089533d9 Mon Sep 17 00:00:00 2001
From: Patrick Hilhorst <git@hilhorst.be>
Date: Mon, 7 May 2018 23:35:45 +0200
Subject: [PATCH] Add myself to config.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 85f6f31..3d44681 100644
--- a/config.extra-known-users.json
+++ b/config.extra-known-users.json
@@ -11,6 +11,7 @@
     "Ma27",
     "oxij",
     "pbogdan",
+    "Synthetica9",
     "tadfisher",
     "teto",
     "ThomasMader",