Revision e13f95482bf30267eb4e8d57d1920a1d22eced72

Committed on 13/06/2018 2:37 am by André R <ar@ez.no> [GitHub Diff]

Bump master to 0.7