Commit 0982501f authored by Michael Kohlhase's avatar Michael Kohlhase

more semesters

parent b14f565e
Pipeline #1739 passed with stage
in 34 seconds