diff options
author | Dennis Gosnell <cdep.illabout@gmail.com> | 2020-05-16 09:40:37 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-16 09:40:37 +0900 |
commit | 82263944a73ed7526e623bac9be69a811e335c86 (patch) | |
tree | bd1c1bf8f0ef3742555d5b24ad1601a0f3abd683 /maintainers | |
parent | 2c74af6d977125add18c64c1826a8e0f2bd033a8 (diff) | |
parent | b94e8cc448e1c834b42bf0704748981833ef1a72 (diff) |
Merge pull request #87875 from wnklmnn/jugglinglab
jugglinglab: init at 1.2
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 cc2ea541d697c..fda8fd8d204cb 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -8301,6 +8301,12 @@ githubId = 54934; name = "Wout Mertens"; }; + wnklmnn = { + email = "pascal@wnklmnn.de"; + github = "wnklmnn"; + githubId = 9423014; + name = "Pascal Winkelmann"; + }; woffs = { email = "github@woffs.de"; github = "woffs"; |