Bump to the 0.0.7.2 version