Add Gerschtli to extra-known-users

This commit is contained in:
Tobias Happ 2018-11-25 20:25:59 +01:00
parent 6e94d23ae0
commit e84eaf5b5d

View file

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