maintainers.nix: add pmeunier

This commit is contained in:
Pierre-Étienne Meunier 2017-12-12 04:53:10 -06:00 committed by Jörg Thalheim
parent 80cc3de45a
commit a13fc5f4cc

View file

@ -516,6 +516,7 @@
plcplc = "Philip Lykke Carlsen <plcplc@gmail.com>";
plumps = "Maksim Bronsky <maks.bronsky@web.de";
pmahoney = "Patrick Mahoney <pat@polycrystal.org>";
pmeunier = "Pierre-Étienne Meunier <pierre-etienne.meunier@inria.fr>";
pmiddend = "Philipp Middendorf <pmidden@secure.mailbox.org>";
polyrod = "Maurizio Di Pietro <dc1mdp@gmail.com>";
pradeepchhetri = "Pradeep Chhetri <pradeep.chhetri89@gmail.com>";