Revision 908c68e3d5706c2b771ee33ede2cdd9cd5b9ce4e

Committed on 09/04/2018 11:39 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '0.5'