Commit 7aa770b2 authored by Andreas Marek's avatar Andreas Marek

Gitlab CI: fix script error

parent 1872f44b