Revision 270431f949cd7b9a1af1c2858dfd6aebbfdbaeb2

Committed on 10/04/2018 2:17 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '0.1'