Revision b8bd67116a04f258ac019ca98d3dac33a6102716

Committed on 09/07/2019 10:38 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Update Travis config