Revision 67caad5328541e49bd5cb73dde3275424aba4d0e

Committed on 28/07/2017 5:04 am by Mario Blažek <[email protected]> [GitHub Diff]

Use trusty for Travis