Add ticket 9333 to known issues.

[SVN r86576]