Bump version number to 2.7.2
This is 0.7.3-dev