maintainers: add mmai

This commit is contained in:
worldofpeace 2019-10-16 18:03:00 -04:00
parent 23ff79266d
commit 3895e097c3

View File

@ -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";