Commit 16d614bb authored by Michael Albinus's avatar Michael Albinus

; Fix previous commit

parent 879d9ce7
Pipeline #650 passed with stage
in 39 minutes and 32 seconds