diff options
author | zowoq <59103226+zowoq@users.noreply.github.com> | 2022-02-10 11:22:41 +1000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-10 11:22:41 +1000 |
commit | 88cf48cc21617a6c818d9fbfab52a7d18ea0ab19 (patch) | |
tree | 7cd2acfe181494ff3074b491d9af303c40b650d8 /maintainers | |
parent | 3009a72fc70052aaf668f9591b38e677b7ae8967 (diff) | |
parent | 359687c5b0ea6c2509c013693d51360bf0c90fe3 (diff) |
Merge pull request #158834 from jfchevrette/jless
jless: init at 0.7.1
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 73974519239ac..418898814f874 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -5596,6 +5596,16 @@ githubId = 143075; name = "James Felix Black"; }; + jfchevrette = { + email = "jfchevrette@gmail.com"; + github = "jfchevrette"; + githubId = 3001; + name = "Jean-Francois Chevrette"; + keys = [{ + longkeyid = "rsa4096/0x67A0585801290DC6"; + fingerprint = "B612 96A9 498E EECD D5E9 C0F0 67A0 5858 0129 0DC6"; + }]; + }; jflanglois = { email = "yourstruly@julienlanglois.me"; github = "jflanglois"; |