Closed
Milestone
Dec 3, 2019–Jul 1, 2022
Make removal
Things necessary before the make build system can finally be put out to pasture.
Loading
Loading
Loading
Loading
Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
Things necessary before the make build system can finally be put out to pasture.