Merge pull request #246 from costrouc/costrouc/add-costrouc-known-extra

Add costrouc to extra-known-users
This commit is contained in:
Graham Christensen 2018-10-15 14:55:27 -04:00 committed by GitHub
commit 25afbf0492
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -3,6 +3,7 @@
"bhipple",
"bignaux",
"brainrape",
"costrouc",
"dywedir",
"edef1c",
"Ekleog",