fix ci script

This commit is contained in:
Wolfgang Hottgenroth 2020-08-13 22:10:01 +02:00
parent c4b99a0dc8
commit ea39266c23
Signed by: wn
GPG Key ID: B586EAFCDF2F65F4