diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2020-07-31 07:09:45 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-31 07:09:45 +0100 |
commit | b75f2114eabc5c7f9aea1a9ce7142f494c5bc01c (patch) | |
tree | ae848f5d59cabaf971bab9cba30b232dbad9c81d /maintainers | |
parent | ae482bb41e24d1ff4f2241d749e75b52cba59a1d (diff) | |
parent | b657c899d6fd5a09c3619302a20b63683a66f0f2 (diff) |
Merge pull request #92581 from TethysSvensson/busybox-udhcpc-script
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 afd66bf1823b5..240ed312e522e 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -8022,6 +8022,12 @@ githubId = 26417242; name = "Mikolaj Galkowski"; }; + TethysSvensson = { + email = "freaken@freaken.dk"; + github = "TethysSvensson"; + githubId = 4294434; + name = "Tethys Svensson"; + }; teto = { email = "mcoudron@hotmail.com"; github = "teto"; |