Merge pull request #20 from clean-cloogle/gitlab-move
authordopefishh <mart@martlubbers.net>
Sat, 20 Oct 2018 17:43:11 +0000 (19:43 +0200)
committerGitHub <noreply@github.com>
Sat, 20 Oct 2018 17:43:11 +0000 (19:43 +0200)
Update references to github


Trivial merge