maintainers: add alxsimon

2023-07-04 15:18:42 -07:00
parent ddc7a6c810
commit 403371ae07
1 changed files with 6 additions and 0 deletions
@@ -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";