maintainers: add stepbrobd to Coq team

2025-01-03 10:24:10 -05:00
parent 89019580b7
commit 628bdcde37
1 changed files with 1 additions and 0 deletions
--- a/maintainers/team-list.nix
+++ b/maintainers/team-list.nix
@@ -197,6 +197,7 @@ with lib.maintainers;
      siraben
      vbgl
      alizter
+      stepbrobd
    ];
    scope = "Maintain the Coq theorem prover and related packages.";
    shortName = "Coq";