Revision e13f95482bf30267eb4e8d57d1920a1d22eced72

Committed on 13/06/2018 2:37 am by André R <[email protected]> [GitHub Diff]

Bump master to 0.7