Rick van Schijndel 899f4311ab Merge pull request #223118 from kilianar/remove-weihua ... maintainer-list.nix: remove weihua		2023-03-26 10:56:29 +02:00
..
scripts	maintainers/scripts/convert-to-import-cargo-lock: fetch submodules	2023-03-26 00:02:16 +01:00
maintainer-list.nix	maintainer-list.nix: remove weihua	2023-03-25 20:17:07 +01:00
team-list.nix	maintainers: add Alizter to Coq team	2023-03-13 00:41:41 +01:00