fixed error in CI

This commit is contained in:
der-berni
2019-05-25 17:35:40 +02:00
committed by GitHub
parent a3089a719f
commit 89e73594eb