Merge pull request #56428 from Kjuvi/ping-init-0.6.0

ping: init 0.6.0
2019-03-02 05:25:47 -05:00
parent e43f2369ae 527d236578
commit 1560d5fa89
3 changed files with 67 additions and 0 deletions
@@ -2458,6 +2458,11 @@
    github = "kisonecat";
    name = "Jim Fowler";
  };
+  kjuvi = {
+    email = "quentin.vaucher@pm.me";
+    github = "kjuvi";
+    name = "Quentin Vaucher";
+  };
  kkallio = {
    email = "tierpluspluslists@gmail.com";
    name = "Karn Kallio";