Added release notes for 0.7.2.