On Mon, 5 Jan 2026 16:39:07 GMT, Kevin Rushforth <[email protected]> wrote:

> Please remove the bug ID (8374515) from the title of this PR and later 
> replace it with the new bug ID.

isn't 8374515 the right bug id?

-------------

PR Comment: https://git.openjdk.org/jfx/pull/2023#issuecomment-3711408831

Reply via email to