Revision b494b89f03ef77e04a3e453987e8a628427ab583

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

Merge branch '2018.09'