diff options
author | Timo Kaufmann <timokau@zoho.com> | 2020-04-04 15:44:04 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-04 15:44:04 +0000 |
commit | 02b1f2a2dee94b16ab344307f8af7a72c0c38e9a (patch) | |
tree | 21b2a0d3536cca407eac3a10856f9c089aeb3a28 /maintainers | |
parent | 4fe81e34c96d492721012b735be2e4e6c2c389a4 (diff) | |
parent | c5a12e33d29e5a420f6c8ddd77738504085e7645 (diff) |
Merge pull request #83224 from shnarazk/cadical-pr
cadical: init at 1.2.1
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index bcebb66d883a..0f7a8c66e2bb 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -6771,6 +6771,11 @@ github = "shmish111"; name = "David Smith"; }; + shnarazk = { + email = "shujinarazaki@protonmail.com"; + github = "shnarazk"; + name = "Narazaki Shuji"; + }; shou = { email = "x+g@shou.io"; github = "Shou"; |