Revision b198ff4d844670c50875079e3ac17215a8690fe3

Committed on 02/07/2020 4:52 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Update Travis config