Merge pull request #100 from teto/released

Added @teto as extra-known-user
This commit is contained in:
Graham Christensen 2018-03-09 08:32:49 -05:00 committed by GitHub
commit fc322e1bd9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -3,6 +3,7 @@
"dywedir",
"edef1c",
"oxij",
"teto",
"ThomasMader",
"unode"
]