diff options
| author | Michael Peyton Jones <me@michaelpj.com> | 2024-05-13 10:37:29 +0100 |
|---|---|---|
| committer | Michael Peyton Jones <me@michaelpj.com> | 2024-05-13 10:56:59 +0100 |
| commit | a28ee4912ccb722cfb44fb8c31cee4e7c52e7e13 (patch) | |
| tree | 159c8f3264c3f860ee590c6f2b1790718a1fd82e /maintainers | |
| parent | fe6b10e20baf9e39e81ca31d3fd4cdfc989c3f11 (diff) | |
maintainers: update email for michaelpj
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"; |