summaryrefslogtreecommitdiffstats
path: root/maintainers
diff options
context:
space:
mode:
authorMichael Peyton Jones <me@michaelpj.com>2024-05-13 10:37:29 +0100
committerMichael Peyton Jones <me@michaelpj.com>2024-05-13 10:56:59 +0100
commita28ee4912ccb722cfb44fb8c31cee4e7c52e7e13 (patch)
tree159c8f3264c3f860ee590c6f2b1790718a1fd82e /maintainers
parentfe6b10e20baf9e39e81ca31d3fd4cdfc989c3f11 (diff)
maintainers: update email for michaelpj
Diffstat (limited to 'maintainers')
-rw-r--r--maintainers/maintainer-list.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index 789da06a6adc..c93cfcef80e0 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";