Revision abe213163fe38c8c0580cd1c50214c5a6990b378

Committed on 16/05/2019 12:28 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.5'