Revision 715a7dff37683221f083516bf43ddf5c9da501b1

Committed on 17/06/2019 2:33 am by Marek NocoĊ„ <mnocon@users.noreply.github.com> [GitHub Diff]

Add Travis dedicated log (#413)