kilianar 9c2912c42f maintainer-list.nix: remove weihua ... Recently, the GitHub account was deleted. Therefore, this pull request removes the account from the list of maintainers. The account was solely referenced as a maintainer in logseq.		2023-03-25 20:17:07 +01:00
..
scripts	Merge pull request #207359 from KarlJoad/octavePackages/auto-update-script	2023-03-22 17:21:48 -07: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