Upgraded to 7.2.5300.0
Merge commit '15b91731479996ea2069e35b6ec45d072c82b18e' into HEAD