diff options
Diffstat (limited to 'maintainers')
| -rw-r--r-- | maintainers/maintainer-list.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 789da06a6adc7..c93cfcef80e0c 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -13154,7 +13154,7 @@ }]; }; michaelpj = { - email = "michaelpj@gmail.com"; + email = "me@michaelpj.com"; github = "michaelpj"; githubId = 1699466; name = "Michael Peyton Jones"; |