diff --git a/lib/maintainers.nix b/lib/maintainers.nix index 509f2da8a4b..08f69e7daee 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