Revision a969215ea051d31a36f296d03351e6f0913bfb63

Committed on 18/02/2019 1:10 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.4'