Merge pull request #91196 from jduan/jduan--add-fastmod

fastmod: init at 0.4.0
2020-06-22 06:47:51 +02:00
parent 74c8e34ece 5f48a53f69
commit 734f1dea8b
3 changed files with 39 additions and 0 deletions
@@ -3536,6 +3536,12 @@
    githubId = 117874;
    name = "Jeroen de Haas";
  };
+  jduan = {
+    name = "Jingjing Duan";
+    email = "duanjingjing@gmail.com";
+    github = "jduan";
+    githubId = 452450;
+  };
  jefdaj = {
    email = "jefdaj@gmail.com";
    github = "jefdaj";