diff options
author | legendofmiracles <30902201+legendofmiracles@users.noreply.github.com> | 2022-01-10 08:21:55 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-10 08:21:55 -0600 |
commit | 492de558b5167878c5574e90a2d414807e3f7a51 (patch) | |
tree | f6f8432cc10103fa1d1bef17e1fe0e4c157c5bec /maintainers | |
parent | 4a7b0213efb5140d60259ace1fe6066c7ece9023 (diff) | |
parent | d551a1ce219f19a70ebcc920e9d03346c6abb72c (diff) |
Merge pull request #153353 from lammermann/submit/add-tuhi
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index ea7ec01cb75af..683ee4d14aa9f 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -6610,6 +6610,12 @@ githubId = 55911173; name = "Gwendolyn Quasebarth"; }; + lammermann = { + email = "k.o.b.e.r@web.de"; + github = "lammermann"; + githubId = 695526; + name = "Benjamin Kober"; + }; larsr = { email = "Lars.Rasmusson@gmail.com"; github = "larsr"; |