diff options
author | Shadaj Laddad <shadaj@users.noreply.github.com> | 2022-04-04 20:30:28 +0000 |
---|---|---|
committer | Shadaj Laddad <shadaj@users.noreply.github.com> | 2022-04-04 20:30:28 +0000 |
commit | 2d1621012c52e4e6af53903d06a3017a77b3eff3 (patch) | |
tree | f353f5e6a6475d98a5f61a39a6daaece3f6ec606 /maintainers | |
parent | ff1c57bcfd195310c060a80bf25651ca01f648e1 (diff) |
symfpu: init at unstable-2019-05-17
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 af379f48cb2ba..505eccda603d2 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -11271,6 +11271,12 @@ githubId = 1151264; name = "Sebastian Graf"; }; + shadaj = { + email = "shadaj@users.noreply.github.com"; + github = "shadaj"; + githubId = 543055; + name = "Shadaj Laddad"; + }; shahrukh330 = { email = "shahrukh330@gmail.com"; github = "shahrukh330"; |