diff options
author | franzmondlichtmann <105480088+franzmondlichtmann@users.noreply.github.com> | 2023-01-16 01:00:03 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-16 00:00:03 +0000 |
commit | afd8814a124451395c71aa3af600af36d522d5d4 (patch) | |
tree | 8eb3cebbde0db8fda261535613667b71a17d3095 /maintainers | |
parent | cf22efecf07fbb299f68cab2fdc3ea50e48758c1 (diff) |
maintainers: add franzmondlichtmann (#210867)
* maintainers: add franzmondlichtmann * Update maintainers/maintainer-list.nix Co-authored-by: zendo <linzway@qq.com> Co-authored-by: zendo <linzway@qq.com>
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 5d2b26c0639ae..abca427f1d86c 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -16319,4 +16319,10 @@ github = "RossComputerGuy"; githubId = 19699320; }; + franzmondlichtmann = { + name = "Franz Schroepf"; + email = "franz-schroepf@t-online.de"; + github = "franzmondlichtmann"; + githubId = 105480088; + }; } |