Due to a scheduled upgrade to version 14.10, GitLab will be unavailabe on Monday 30.05., from 19:00 until 20:00.

provide exacter warnings

Signed-off-by: Sebastian Schüpbach <sebastian.schuepbach@unibas.ch>
3 jobs for master in 4 minutes and 53 seconds (queued for 1 second)