Revision 2912d1f6db1d52ffc4344da96991d52dfd752f2d

Committed on 04/06/2017 7:18 am by André R <ar@ez.no> [GitHub Diff]

[Travis] Update Docker to latests version (to be able to use newer versions)