Revision 67caad5328541e49bd5cb73dde3275424aba4d0e

Committed on 28/07/2017 5:04 am by Mario Blažek <blazek.mario@gmail.com> [GitHub Diff]

Use trusty for Travis