diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2023-11-08 18:44:14 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-08 18:44:14 +0100 |
commit | 64b6e49275f6388284379624eff747b369469355 (patch) | |
tree | 3f3cc3c8d03a0ba737670ac3c5e07b865be8260d /maintainers | |
parent | 3714f48d813154073c8dd772c99cb3c4cb94aeae (diff) | |
parent | 9288bd04336367eefcdb3dcbeaf75d38374a9f96 (diff) |
Merge pull request #250204 from JaviMerino/guilt
guilt: init at 0.37-rc1
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 98fc84d82e549..0c326c9bbf7a0 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -7998,6 +7998,12 @@ githubId = 488556; name = "Javier Aguirre"; }; + javimerino = { + email = "merino.jav@gmail.com"; + name = "Javi Merino"; + github = "JaviMerino"; + githubId = 44926; + }; jayesh-bhoot = { name = "Jayesh Bhoot"; email = "jb@jayeshbhoot.com"; |