Merge pull request #277 from Gerschtli/extra-known-users-gerschtli

Add Gerschtli to extra-known-users
This commit is contained in:
Graham Christensen 2018-11-26 09:03:04 -05:00 committed by GitHub
commit 76f2d88431
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -12,13 +12,14 @@
"edef1c", "edef1c",
"Ekleog", "Ekleog",
"Enzime", "Enzime",
"erikarvstedt",
"erictapen",
"etu",
"eqyiel", "eqyiel",
"erictapen",
"erikarvstedt",
"etu",
"fgaz", "fgaz",
"florianjacob", "florianjacob",
"geistesk", "geistesk",
"Gerschtli",
"grwlf", "grwlf",
"imalsogreg", "imalsogreg",
"jfrankenau", "jfrankenau",