Mario Rodas 8db72e3b7e Merge pull request #221594 from ken-matsui/patch-1 ...

maintainers: update my information

2023-03-18 12:45:50 -05:00

..

scripts

Merge pull request #221488 from NickCao/qt643

2023-03-18 10:04:52 +08:00

maintainer-list.nix

Merge pull request #221594 from ken-matsui/patch-1

2023-03-18 12:45:50 -05:00

team-list.nix

maintainers: add Alizter to Coq team

2023-03-13 00:41:41 +01:00