Revision 12b29a8642844c65b155ca01a11f386a1a61962d

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

Merge branch '4.0'