Merge pull request #68282 from Pamplemousse/rappel

rappel: init at unstable-2019-07-08
2019-09-08 13:45:47 -04:00
parent 8772a1dfbc 77783268da
commit ec27f6ff3c
3 changed files with 46 additions and 0 deletions
@@ -4782,6 +4782,12 @@
    githubId = 11016164;
    name = "Fedor Pakhomov";
  };
+  pamplemousse = {
+    email = "xav.maso@gmail.com";
+    github = "Pamplemousse";
+    githubId = 2647236;
+    name = "Xavier Maso";
+  };
  panaeon = {
    email = "vitalii.voloshyn@gmail.com";
    github = "panaeon";