From 13bb674e9548760bb707aaeef1b035d86d5e713b Mon Sep 17 00:00:00 2001 From: Pierre Bourdon Date: Fri, 21 Apr 2023 10:26:13 +0200 Subject: [PATCH] maintainer-list: fix mateodd25's github id --- maintainers/maintainer-list.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 068269395d87..eaa7e93f3f05 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -9590,7 +9590,7 @@ mateodd25 = { email = "mateodd@icloud.com"; github = "mateodd25"; - githubId = 854770; + githubId = 7878181; name = "Mateo Diaz"; }; math-42 = {