diff options
Diffstat (limited to 'maintainers')
| -rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 47d418ba77bc5..89bc11d761411 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"; |