Revision ab79f0ebc5d8e856f825d92f5994857b165640d5

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

tweak travis