per Greg Price, this hot fix was released last week, and "I would say leave it out of the release notes"