diff options
Diffstat (limited to 'lib/maintainers.nix')
| -rw-r--r-- | lib/maintainers.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/maintainers.nix b/lib/maintainers.nix index 4de543b7d0763..e463e852933cc 100644 --- a/lib/maintainers.nix +++ b/lib/maintainers.nix @@ -276,6 +276,7 @@ michaelpj = "Michael Peyton Jones <michaelpj@gmail.com>"; michalrus = "Michal Rus <m@michalrus.com>"; michelk = "Michel Kuhlmann <michel@kuhlmanns.info>"; + mikefaille = "Michaël Faille <michael@faille.io>"; mimadrid = "Miguel Madrid <mimadrid@ucm.es>"; mingchuan = "Ming Chuan <ming@culpring.com>"; mirdhyn = "Merlin Gaillard <mirdhyn@gmail.com>"; |