Merge pull request #277993 from shard77/add-maintainer

maintainers: add shard7
2024-01-01 03:30:08 +01:00
parent 191b2e79a5 0d1851c0c9
commit 72b63a80ed
1 changed files with 6 additions and 0 deletions
@@ -16786,6 +16786,12 @@
    }];
    name = "Shane Sveller";
  };
+  shard7 = {
+    email = "sh7user@gmail.com";
+    github = "shard77";
+    githubId = 106669955;
+    name = "Léon Gessner";
+  };
  shardy = {
    email = "shardul@baral.ca";
    github = "shardulbee";