diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 47d418ba77bc..89bc11d76141 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -807,6 +807,12 @@ fingerprint = "B422 CFB1 C9EF 73F7 E1E2 698D F53E 3233 42F7 A6D3A"; }]; }; + alxsimon = { + email = "alexis.simon@normalesup.org"; + github = "alxsimon"; + githubId = 9567176; + name = "Alexis Simon"; + }; alyaeanyx = { email = "alyaeanyx@mailbox.org"; github = "alyaeanyx";