Revision 12670a88ba90e4dde811cd1ddf860bd983454183

Committed on 14/03/2019 2:50 am by André R <ar@ez.no> [GitHub Diff]

[Travis] Update test infrastructure