On Mon, 5 Jan 2026 17:33:14 GMT, Andy Goryachev <[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? Yes, it is. As I mentioned above, I misread the state of that bug. ------------- PR Comment: https://git.openjdk.org/jfx/pull/2023#issuecomment-3711437444
