diff options
author | Pol Dellaiera <pol.dellaiera@protonmail.com> | 2024-03-11 18:05:22 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-11 18:05:22 +0100 |
commit | 8deb162d09b0e910e7b99721acef53577e1da42f (patch) | |
tree | b7ea310c41fde0829154467aacb551356af8411e /maintainers/maintainer-list.nix | |
parent | dc4a6bcdcac325aaf07f21c120c5855e45cb0f56 (diff) | |
parent | 9e570d09eb38fee56645ffbfb27dcce34c2e158a (diff) |
Merge pull request #293722 from savedra1/clipse-init/0.0.6
clipse: init at 0.0.6
Diffstat (limited to 'maintainers/maintainer-list.nix')
-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 f2594416986e0..81e343e601c6c 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -17198,6 +17198,12 @@ githubId = 8534888; name = "Savanni D'Gerinel"; }; + savedra1 = { + email = "michaelsavedra@gmail.com"; + github = "savedra1"; + githubId = 99875823; + name = "Michael Savedra"; + }; savyajha = { email = "savya.jha@hawkradius.com"; github = "savyajha"; |