diff --git a/lib/maintainers.nix b/lib/maintainers.nix index 412424d6737..de8627b0804 100644 --- a/lib/maintainers.nix +++ b/lib/maintainers.nix @@ -414,6 +414,7 @@ michaelpj = "Michael Peyton Jones "; michalrus = "Michal Rus "; michelk = "Michel Kuhlmann "; + mickours = "Michael Mercier