diff options
author | Pascal Wittmann <mail@pascal-wittmann.de> | 2018-07-11 10:35:38 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-11 10:35:38 +0200 |
commit | 13f640057d8873a91fdf4cd804c96cd03fe63bd4 (patch) | |
tree | b0d5f107fc87fabbb62bdc4cd1b3f607dcba70fb /maintainers/maintainer-list.nix | |
parent | 5d0e6576cd4a3cec4f5f26d3bb12dc311009c896 (diff) | |
parent | 00562b5a9a7fa169c8f0f825ef71bab29a0a279f (diff) |
Merge pull request #43238 from tgharib/fix/add-triggerhappy
triggerhappy: init at 0.5.0
Diffstat (limited to 'maintainers/maintainer-list.nix')
-rw-r--r-- | maintainers/maintainer-list.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 04e0f372d8108..8d249aa5eb5b0 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -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"; |