remove head ok
Merge branch 'release/0.7.2'

* release/0.7.2:
  remove head ok
Merge tag '0.7.2' into develop

Remove head ok

* tag '0.7.2':