diff options
author | Martino Fontana <tinozzo123@gmail.com> | 2024-07-02 14:49:07 +0200 |
---|---|---|
committer | Yaya <github@uwu.is> | 2024-07-02 19:12:00 +0200 |
commit | bbb13c92a114df855136d7e8312e63acb127939b (patch) | |
tree | 5371e357170e24ad5532ce723eab98ae4b60e0de /maintainers/maintainer-list.nix | |
parent | 1a5a6db46d912abb4ee2510ca0486d0268c6bd9a (diff) |
maintainers: remove martfont
Diffstat (limited to 'maintainers/maintainer-list.nix')
-rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 54eefb8d9bfe3..5c32a58933a61 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -12351,12 +12351,6 @@ githubId = 33522919; name = "Marshall Arruda"; }; - martfont = { - name = "Martino Fontana"; - email = "tinozzo123@tutanota.com"; - github = "SuperSamus"; - githubId = 40663462; - }; martijnvermaat = { email = "martijn@vermaat.name"; github = "martijnvermaat"; |