diff options
author | Ali Caglayan <alizter@gmail.com> | 2023-03-13 00:39:02 +0100 |
---|---|---|
committer | Ali Caglayan <alizter@gmail.com> | 2023-03-13 00:41:41 +0100 |
commit | b89c6b0eb20b63482131c905185b07c04a53b835 (patch) | |
tree | ff0c1e64f0d8d39842f98b5109834f723c59a71e /maintainers/team-list.nix | |
parent | 9e278649c01a4f102f81bdf5f9c32f7790d2efb8 (diff) |
maintainers: add Alizter to Coq team
Signed-off-by: Ali Caglayan <alizter@gmail.com>
Diffstat (limited to 'maintainers/team-list.nix')
-rw-r--r-- | maintainers/team-list.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/maintainers/team-list.nix b/maintainers/team-list.nix index 4b3c0176910fa..2201fc7f76bc3 100644 --- a/maintainers/team-list.nix +++ b/maintainers/team-list.nix @@ -142,6 +142,7 @@ with lib.maintainers; { # gares has no entry in the maintainers list siraben vbgl + alizter ]; scope = "Maintain the Coq theorem prover and related packages."; shortName = "Coq"; |