Version number bumped
Finished release v0.7.2.
Finished release v0.7.2.