Merge pull request #281 from tilpner/add-tilpner

Add tilpner to extra-known-users
This commit is contained in:
Graham Christensen 2018-12-10 09:28:51 -05:00 committed by GitHub
commit 872733bf08
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -38,6 +38,7 @@
"tadfisher", "tadfisher",
"teto", "teto",
"ThomasMader", "ThomasMader",
"tilpner",
"tomberek", "tomberek",
"unode", "unode",
"va1entin", "va1entin",