diff options
author | Peter Ferenczy <ggpeti@gmail.com> | 2019-03-20 13:26:45 +0100 |
---|---|---|
committer | Peter Ferenczy <ggpeti@gmail.com> | 2019-03-20 13:26:45 +0100 |
commit | 9fd4d6cbcb87c50be5b95062bb5d0bb0665952c7 (patch) | |
tree | 063dbf7e14600e0004df7bd01588acfdef2097a0 /maintainers/maintainer-list.nix | |
parent | 399061d3e429dbabeb96aabbad137702171861dc (diff) |
maintainers: add ggpeti
Diffstat (limited to 'maintainers/maintainer-list.nix')
-rw-r--r-- | maintainers/maintainer-list.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 8d794dc84fc64..a89a70aee07a3 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1770,6 +1770,11 @@ github = "Gerschtli"; name = "Tobias Happ"; }; + ggpeti = { + email = "ggpeti@gmail.com"; + github = "ggpeti"; + name = "Peter Ferenczy"; + }; gilligan = { email = "tobias.pflug@gmail.com"; github = "gilligan"; |