Closed impredicative closed 4 years ago
Hi. The readme mentions GitLab a few times, but its last mention erroneously links to GitHub.
Thanks for letting me know, fixed.
Hi. The readme mentions GitLab a few times, but its last mention erroneously links to GitHub.