Unverified Commit a28ee491 authored by Michael Peyton Jones's avatar Michael Peyton Jones
Browse files

maintainers: update email for michaelpj

parent fe6b10e2
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -13154,7 +13154,7 @@
    }];
  };
  michaelpj = {
    email = "michaelpj@gmail.com";
    email = "me@michaelpj.com";
    github = "michaelpj";
    githubId = 1699466;
    name = "Michael Peyton Jones";