diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-11-10 15:04:42 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-10 15:04:42 +0000 |
commit | 37918ac73b371ea7a249028c8fd82be436d801bb (patch) | |
tree | f1a3444335525d7526e0f0e75ec8e7f5a4689199 | |
parent | 713b0bb778ed50dcecdaa3ce253889cfb9c7262a (diff) | |
parent | 092deb9cf8378a0950574d714a60d7767da0fda1 (diff) |
Merge pull request #50181 from hlolli/maintainers
add myself (hlolli) to maintainers list
-rw-r--r-- | maintainers/maintainer-list.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index c73cda5ea1cf9..ff64d355a6c82 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1754,6 +1754,11 @@ email = "t@larkery.com"; name = "Tom Hinton"; }; + hlolli = { + email = "hlolli@gmail.com"; + github = "hlolli"; + name = "Hlodver Sigurdsson"; + }; hodapp = { email = "hodapp87@gmail.com"; github = "Hodapp87"; |