diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2021-02-09 09:15:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-09 09:15:13 +0100 |
commit | b0a1efd8bb5b7972ec01cf6dbe50182329382992 (patch) | |
tree | 761b4aaea5b36ce6a9e27ac4f95bc9c78d965420 /maintainers | |
parent | a073dd54aa89a3a2e4c18ee4ab266f32738452d7 (diff) | |
parent | f639ec7fc8fa8d473c5402d9b4b64212daaa25f4 (diff) |
Merge pull request #111632 from felixsinger/iotools
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 17ced60c6849c..cfabfac1c63d6 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3049,6 +3049,12 @@ githubId = 9959940; name = "Andreas Fehn"; }; + felixsinger = { + email = "felixsinger@posteo.net"; + github = "felixsinger"; + githubId = 628359; + name = "Felix Singer"; + }; felschr = { email = "dev@felschr.com"; github = "felschr"; |