danderson/ofborg
0
0
Fork 0
forked from the-distro/ofborg
Code Pull requests Activity

Merge pull request #110 from va1entin/released

Browse source 
add va1entin to extra known users
This commit is contained in:
Graham Christensen 2018-03-11 20:59:06 -04:00 committed by GitHub
parent 158b20ef2b 0ee10e4d11
commit acb6f81dff
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 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

@ -7,5 +7,6 @@
"teto",
"ThomasMader",
"unode",
"va1entin",
"xeji"
]