Merge pull request #366 from ivan/ivan-extra-known-users

Add ivan to extra-known-users
This commit is contained in:
Graham Christensen 2019-06-05 09:52:46 -04:00 committed by GitHub
commit 13bf326486
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -26,6 +26,7 @@
"grwlf", "grwlf",
"illegalprime", "illegalprime",
"imalsogreg", "imalsogreg",
"ivan",
"Izorkin", "Izorkin",
"jacereda", "jacereda",
"jfrankenau", "jfrankenau",