Merge pull request #319 from Izorkin/add-izorkin

Add izorkin to extra-known-users
This commit is contained in:
Graham Christensen 2019-03-08 21:31:50 -05:00 committed by GitHub
commit 91f7316071
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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