more Travis fixes

This commit is contained in:
Holger Könemann 2018-03-07 11:22:12 +01:00
parent 90617dbfde
commit 0bc82f6a18
1 changed files with 43 additions and 43 deletions