Revision bec38b00beeeb350daca629146b6f020cc386132

Committed on 16/01/2019 5:35 am by Arne Blankerts <Arne@Blankerts.de> [GitHub Diff]

tweak travis