extra-known-users: Add devhell

Now that I've been made a member, it's probably best to be able to
trigger ofBorg where appropriate and necessary.
This commit is contained in:
devhell 2019-09-08 15:58:11 +01:00
parent dbfa0805f3
commit 2c42574809
No known key found for this signature in database
GPG key ID: 1352D979AE0030BB

View file

@ -12,6 +12,7 @@
"costrouc",
"danieldk",
"delroth",
"devhell",
"Ekleog",
"ElvishJerricco",
"Enzime",