Merge pull request #43238 from tgharib/fix/add-triggerhappy

triggerhappy: init at 0.5.0
2018-07-11 10:35:38 +02:00
parent 5d0e6576cd 00562b5a9a
commit 13f640057d
3 changed files with 46 additions and 0 deletions
@@ -3781,6 +3781,11 @@
    github = "Radvendii";
    name = "Taeer Bar-Yam";
  };
+  taha = {
+    email = "xrcrod@gmail.com";
+    github = "tgharib";
+    name = "Taha Gharib";
+  };
  tailhook = {
    email = "paul@colomiets.name";
    github = "tailhook";