Revision f7ecd7357dde377f88d4dd551d52cce24921b23b

Committed on 08/10/2019 5:02 am by Edi Modrić <[email protected]> [GitHub Diff]

Travis build is migrated to travis-ci.com