Release Notes minor update

Issue #9874 was fixed by PR #9911

No big deal if this doesn't get in, but seemed like it would be nice to mention.