diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2020-11-12 08:27:27 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-12 08:27:27 +0100 |
commit | d512e500d40be6b8a57e2bda9ea93a31c4c70085 (patch) | |
tree | 42f7daa12460b36d6d6dd72972aa85eda66cbf4a /maintainers | |
parent | adbcba2ce78afca7092e350b62d73ac0f32ace97 (diff) | |
parent | ccbcbe27b3d5158dedacd165320318581faa010b (diff) |
Merge pull request #103503 from jcumming/bluespec-maintainer
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index ac6f55176747b..611bb1891207a 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3883,6 +3883,8 @@ }; jcumming = { email = "jack@mudshark.org"; + github = "jcumming"; + githubId = 1982341; name = "Jack Cummings"; }; jD91mZM2 = { |