On March, 19th between 18:00 and 19:00 gitlab.tugraz.at is maybe not available (Reason: maintenance work / gitlab updates).
Select Git revision
0734C747C67C5CEE-main-patch-25557
main