fixing last travis issue

This commit is contained in:
Augustin-FL 2019-02-14 00:24:19 +01:00
parent 5b1fab4ff3
commit d7707e58bd