Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
* Update Opera to Opera 22 * Delete legacy code in the ansible role * Apply fix for problems with MESA as suggested by @ue5734 see #106 * Use KIT wide license server