maintainer: nfjinjing: delete github record, their account is gone

2019-08-17 12:19:17 -04:00
parent 63a8f44562
commit de136ce77c
1 changed files with 0 additions and 1 deletions
@@ -3758,7 +3758,6 @@
  };
  nfjinjing = {
    email = "nfjinjing@gmail.com";
-    github = "nfjinjing";
    name = "Jinjing Wang";
  };
  nh2 = {