the-distro/ofborg
2
0
Fork 1
Code Issues 1 Pull requests 1 Packages Projects Releases Wiki Activity

Merge pull request #371 from jonringer/add_jonringer

Browse source 
extra-known-users: Add jonringer
This commit is contained in:
Graham Christensen 2019-07-03 18:17:21 -04:00 committed by GitHub
parent 8ac718104b f802065e2f
commit 4c7fd81713
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
config.extra-known-users.json
View file

@ -34,6 +34,7 @@
"jluttine", "jluttine",
"johanot", "johanot",
"johnazoidberg", "johnazoidberg",
"jonringer",
"kalbasit", "kalbasit",
"knedlsepp", "knedlsepp",
"lilyball", "lilyball",

1
config.known-users.json
View file

@ -89,6 +89,7 @@
"joachifm", "joachifm",
"johanot", "johanot",
"jokogr", "jokogr",
"jonringer",
"jtojnar", "jtojnar",
"jwiegley", "jwiegley",
"kalbasit", "kalbasit",