Revision 0f365c6104a1e75f950d3f73941caeec6520ba4e

Committed on 14/05/2019 2:09 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.5'