diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2020-09-07 21:34:07 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-07 21:34:07 -0500 |
commit | ee222ce046560f4a0da47b3c2e481ac9f03b5742 (patch) | |
tree | 7b1e821ff5ad1ba4a89474c1c4440d4688b6f399 /maintainers | |
parent | 8f2a673722f95e2b737b8362c35fdb4c07483bc6 (diff) | |
parent | 976d2e5c0d3afd23c0a7c1c7a98253fdf912719f (diff) |
Merge pull request #88915 from bsima/shen
shen-sbcl: init at 3.0.3
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 7149ecb5d600..2ca08a3466e8 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1200,6 +1200,12 @@ githubId = 5525646; name = "Brice Waegeneire"; }; + bsima = { + email = "ben@bsima.me"; + github = "bsima"; + githubId = 200617; + name = "Ben Sima"; + }; bstrik = { email = "dutchman55@gmx.com"; github = "bstrik"; |