Revision fbbb34dfefc3d0f2a3cb7de3ca400ff35f4be9d9

Committed on 29/01/2018 7:46 am by André R <ar@ez.no> [GitHub Diff]

Bump version numbers in 1.5 branch