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
