Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
* Opera 20 searches libOpenGL, but Fedora names it libGL * Fixes issue #94