Merge pull request #375 from risicle/ris-ris

extra-known-users: add risicle
This commit is contained in:
Graham Christensen 2019-07-03 18:17:46 -04:00 committed by GitHub
commit 128de05e05
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -49,6 +49,7 @@
"pmiddend",
"pSub",
"rvolosatovs",
"risicle",
"samueldr",
"saschagrunert",
"schmittlauch",