Revision c750d95f550c47194db55937cebdad093bf432f0

Committed on 03/10/2018 5:05 am by Vidar Langseid <[email protected]> [GitHub Diff]

Travis fix