Update bootstrap.sh to gitlab.redox-os.org instead of github.com (!1190) · Merge requests · redox-os / redox · GitLab

The source project of this merge request has been removed.

Merged Fabio Di Francesco requested to merge (removed):patch-1 into master Jun 14, 2018