Revert "Merge branch 'gcc' into 'master'" (!28) · Merge requests · bob / bob.admin · GitLab

This is an archived project. Repository and other project resources are read-only.

André Anjos requested to merge revert-5b7ad326 into master Dec 28, 2016

This reverts merge request !27 (merged)