diff options
author | Masum Reza <50095635+JohnRTitor@users.noreply.github.com> | 2024-06-22 20:39:48 +0530 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-06-22 20:39:48 +0530 |
commit | 3c831e99395e20755d9d9fb26e184fed784f6303 (patch) | |
tree | 3d12cabe82e007ee6b6363e43d0a778e82b72059 /maintainers | |
parent | c7a12cd27da0775a8456eea8003b40ca2b636241 (diff) | |
parent | 64a508ca14454d8fc93ef673fb62d9712703c125 (diff) |
Merge pull request #264430 from Compile-Time/master
keym: init at unstable-2022-07-10
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 c53d6c65b2716..0621e8bce12a9 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3962,6 +3962,12 @@ githubId = 40290417; name = "Seb Blair"; }; + CompileTime = { + email = "socialcoms@posteo.de"; + github = "Compile-Time"; + githubId = 18414241; + name = "Andreas Erdes"; + }; confus = { email = "con-f-use@gmx.net"; github = "con-f-use"; |