Mario Rodas 4222703bdf Merge pull request #222263 from atkrad/add-maintainer ... maintainers: add atkrad		2023-03-21 06:01:55 -05:00
..
scripts	Merge pull request #221488 from NickCao/qt643	2023-03-18 10:04:52 +08:00
maintainer-list.nix	Merge pull request #222263 from atkrad/add-maintainer	2023-03-21 06:01:55 -05:00
team-list.nix	maintainers: add Alizter to Coq team	2023-03-13 00:41:41 +01:00