Revision a91c6570ddd9c5eecd6d2c069f0f970f46045353

Committed on 15/01/2019 3:13 pm by Arne Blankerts <Arne@Blankerts.de> [GitHub Diff]

Update travis build