Merge pull request #305 from cdepillabout/patch-1

add cdepillabout to config.extra-known-users.json
This commit is contained in:
Graham Christensen 2019-01-24 19:43:07 -05:00 committed by GitHub
commit 9546c2e4aa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -6,6 +6,7 @@
"bhipple", "bhipple",
"bignaux", "bignaux",
"brainrape", "brainrape",
"cdepillabout",
"costrouc", "costrouc",
"danieldk", "danieldk",
"Ekleog", "Ekleog",