Bump version to 3.7.2