From 3895e097c365fee76149efd676d94bef5952bdf2 Mon Sep 17 00:00:00 2001 From: worldofpeace Date: Wed, 16 Oct 2019 18:03:00 -0400 Subject: [PATCH] maintainers: add mmai --- maintainers/maintainer-list.nix | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index c187390defa..dba79e0e36f 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -4333,6 +4333,12 @@ githubId = 104795; name = "Marek Mahut"; }; + mmai = { + email = "henri.bourcereau@gmail.com"; + github = "mmai"; + githubId = 117842; + name = "Henri Bourcereau"; + }; mmlb = { email = "me.mmlb@mmlb.me"; github = "mmlb";