1.7.2 has not been released yet - if it ever is. What you want is 1.7.1+. Assuming the fix was made more than 24 hours ago it will automatically have been incorporated into this "rolling" release.
General developer forum
Where to get 1.7.2 upgrade
This discussion has been locked so you can no longer reply to it.