Revision ad17157bc9d0eff378724e318cac9ac98ead85cb

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

Merge branch '2017.12'