Bump version to 5.7.2; Update ChangeLog.