Unverified Commit 44e31f95 authored by Pol Dellaiera's avatar Pol Dellaiera Committed by GitHub
Browse files

maintainers: add stepbrobd to Coq team (#370640)

parents 3bcc3f13 628bdcde

maintainers/team-list.nix

+1 −0
Original line number Diff line number Diff line
@@ -197,6 +197,7 @@ with lib.maintainers; 
      siraben

      vbgl

      alizter

      stepbrobd

    ];

    scope = "Maintain the Coq theorem prover and related packages.";

    shortName = "Coq";