From d9266340e187b0d29f3ea898a9983cb0727a9b1a Mon Sep 17 00:00:00 2001 From: Tobias Happ Date: Mon, 23 Apr 2018 00:52:01 +0200 Subject: [PATCH] Adds gerschtli to maintainer-list --- maintainers/maintainer-list.nix | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 2add8fa2c4f..790b72c039e 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1483,6 +1483,11 @@ github = "georgewhewell"; name = "George Whewell"; }; + gerschtli = { + email = "tobias.happ@gmx.de"; + github = "Gerschtli"; + name = "Tobias Happ"; + }; gilligan = { email = "tobias.pflug@gmail.com"; github = "gilligan";