From 0ee10e4d119b41f5b6f928e4d3217000668ead59 Mon Sep 17 00:00:00 2001
From: Valentin Heidelberger <github@valentinsblog.com>
Date: Sun, 11 Mar 2018 16:55:19 +0100
Subject: [PATCH] add va1entin 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 59ed49b..b49cf3b 100644
--- a/config.extra-known-users.json
+++ b/config.extra-known-users.json
@@ -7,5 +7,6 @@
     "teto",
     "ThomasMader",
     "unode",
+    "va1entin",
     "xeji"
 ]