On July, 16th between 18:00 and 22:00 gitlab.tugraz.at may not be available (Reason: maintenance work / gitlab updates).
the issue was fixed in 1.4.2
Reiter, Christoph authored