Bring version back to 1.7.2