Fix RELEASE-NOTES: this was not an API change, and the stated change didn't say what...