diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2022-10-07 09:57:48 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-07 09:57:48 -0500 |
commit | a0dd51fa785e51d7c238f612c7ac12f807706110 (patch) | |
tree | c155198fac0698cc6dd63b23aa675dc2f5d7d425 /maintainers | |
parent | 1d630fe80a956f4456e79ca08a1c858d0d8cc39c (diff) | |
parent | 5516ee571efee74ea3c0f16057a28c59db132384 (diff) |
Merge pull request #194812 from prtzl/maintainer
maintainers: add prtzl
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 1682dc7a036d3..697cb475dc1bf 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -10879,6 +10879,12 @@ } ]; }; + prtzl = { + email = "matej.blagsic@protonmail.com"; + github = "prtzl"; + githubId = 32430344; + name = "Matej Blagsic"; + }; ProducerMatt = { name = "Matthew Pherigo"; email = "ProducerMatt42@gmail.com"; |