diff options
| author | Elis Hirwing <elis@hirwing.se> | 2019-03-22 07:33:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-22 07:33:24 +0100 |
| commit | 870db5e15d76224331a3c7cd53bd1615184094d5 (patch) | |
| tree | d74c8d704bc1538bae2de8f693a29468e090fdfb /maintainers/maintainer-list.nix | |
| parent | 52dae14f0c763dd48572058f0f0906166da14c31 (diff) | |
| parent | e3521e9d8fc539742d66bae48914f47ca160975d (diff) | |
Merge pull request #57389 from ggPeti/master
musly: init at unstable-2017-04-26
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 f2748866557a5..93fe9f10e6c85 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"; |