Add jacereda to extra-known-users

This commit is contained in:
jacereda 2019-02-21 13:21:17 +01:00 committed by GitHub
parent c17ef84004
commit eaf5483b67
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -22,6 +22,7 @@
"Gerschtli", "Gerschtli",
"grwlf", "grwlf",
"imalsogreg", "imalsogreg",
"jacereda",
"jfrankenau", "jfrankenau",
"jlesquembre", "jlesquembre",
"jluttine", "jluttine",