v0.7.2

Enrico Gamberini

@engamber

6bb52afc · Merge branch 'develop' into 'master' · May 14, 2020

fix small bug from previous tag