diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2022-03-23 07:46:15 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-23 07:46:15 +0100 |
commit | 4df9ab418f68d1ae340b33dfe7411f12b3e6218f (patch) | |
tree | 66a34e27bf0393a5a849eb764fb0e1d5f8268d01 /maintainers | |
parent | 744e1a6ee6e4520f7185f35513d76e48d6b23456 (diff) | |
parent | 2cd15bbbedba8fb1ae2b008331aefe6804d4075c (diff) |
Merge pull request #164985 from Freax13/init-gef
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index ef76a3043beff..4a66ffa1eafb8 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -4241,7 +4241,12 @@ githubId = 119691; name = "Michael Gough"; }; - + freax13 = { + email = "erbse.13@gmx.de"; + github = "freax13"; + githubId = 14952658; + name = "Tom Dohrmann"; + }; fredeb = { email = "im@fredeb.dev"; github = "fredeeb"; |