Set version to 7.2-dev