Convert most ports using cloud.github.com to GHC.
Convert a couple to github, and use some options helpers on the way.
Sponsored by: Absolight
Description
Description
Details
Details
- Provenance
mat Authored on - Parents
- rP396102: http://cloud.github.com/ redirects to https.
- Branches
- Unknown
- Tags