From a28ee4912ccb722cfb44fb8c31cee4e7c52e7e13 Mon Sep 17 00:00:00 2001 From: Michael Peyton Jones Date: Mon, 13 May 2024 10:37:29 +0100 Subject: maintainers: update email for michaelpj --- maintainers/maintainer-list.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'maintainers') 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"; -- cgit 1.4.1