Revision bb67bf2cb0e6d4cdd87814f152f41b4c12adc15d

Committed on 23/08/2018 6:04 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '0.7'