Merge pull request #103503 from jcumming/bluespec-maintainer

2020-11-12 08:27:27 +01:00
parent adbcba2ce7 ccbcbe27b3
commit d512e500d4
2 changed files with 3 additions and 1 deletions
@@ -3883,6 +3883,8 @@
  };
  jcumming = {
    email = "jack@mudshark.org";
+    github = "jcumming";
+    githubId = 1982341;
    name = "Jack Cummings";
  };
  jD91mZM2 = {