diff options
author | Thiago Kenji Okada <thiagokokada@gmail.com> | 2022-04-09 20:07:29 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-09 20:07:29 +0100 |
commit | 615e5e10c115397ece2809e22bdbe9b740b5d2b0 (patch) | |
tree | 3c966bae822b48c006f79554168c9bae61beaa52 /maintainers | |
parent | de17214b19edf7a45fe0005c96099095583fbbe8 (diff) | |
parent | 74b7319023a3428d2d2acb761c6e4a3489211684 (diff) | |
download | nixlib-615e5e10c115397ece2809e22bdbe9b740b5d2b0.tar nixlib-615e5e10c115397ece2809e22bdbe9b740b5d2b0.tar.gz nixlib-615e5e10c115397ece2809e22bdbe9b740b5d2b0.tar.bz2 nixlib-615e5e10c115397ece2809e22bdbe9b740b5d2b0.tar.lz nixlib-615e5e10c115397ece2809e22bdbe9b740b5d2b0.tar.xz nixlib-615e5e10c115397ece2809e22bdbe9b740b5d2b0.tar.zst nixlib-615e5e10c115397ece2809e22bdbe9b740b5d2b0.zip |
Merge pull request #166740 from shadaj/init-cvc5-symfpu
cvc5: init at 1.0.0 & symfpu: init at 8fbe139b
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 9f5f18ca6a52..22a4310eee23 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -11326,6 +11326,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"; |