diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2017-04-16 20:00:58 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-16 20:00:58 +0200 |
commit | f16b29ebd97c29e954935c1efa9e9214e1a5f504 (patch) | |
tree | 974ba0bd437c3729919c932f327b36dc136a190d /lib | |
parent | 3753122b26086a0cd3a328fb3080e63637eba87b (diff) | |
parent | cb624198e8a05f5c1397d74202bee85ed9eacecd (diff) |
Merge pull request #24938 from jlesquembre/git-open
git-open: init at 1.3.0
Diffstat (limited to 'lib')
-rw-r--r-- | lib/maintainers.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/maintainers.nix b/lib/maintainers.nix index 8fa3f117deef..9f24d1836256 100644 --- a/lib/maintainers.nix +++ b/lib/maintainers.nix @@ -238,6 +238,7 @@ jgillich = "Jakob Gillich <jakob@gillich.me>"; jhhuh = "Ji-Haeng Huh <jhhuh.note@gmail.com>"; jirkamarsik = "Jirka Marsik <jiri.marsik89@gmail.com>"; + jlesquembre = "José Luis Lafuente <jl@lafuente.me>"; joachifm = "Joachim Fasting <joachifm@fastmail.fm>"; joamaki = "Jussi Maki <joamaki@gmail.com>"; joelmo = "Joel Moberg <joel.moberg@gmail.com>"; |