Revision 232d09ada7e309508493bb55bb5dbaf35a52f1c5

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

Merge branch '1.0'