[v0.7.2] Version bump