On Mon, 5 Jan 2026 16:47:14 GMT, Christopher Schnick <[email protected]> wrote:
>> @crschnick We _never_ reuse a JBS bug ID that is Resolved as Fixed. This PR >> will need a new bug. Please remove the bug ID (8374515) from the title of >> this PR and later replace it with the new bug ID. > > @kevinrushforth That bug is already a new one. I don't have control over how > newly opened bugs are handled in terms of state. > > I recently submitted a little bit more clearer instructions on how to > reproduce, but I think the original instructions were clear enough as the > method only has one catch block. @crschnick When ready, integrate this PR by entering `/integrate` in a PR comment (by itself). Andy or I will sponsor it for you. > @crschnick When ready, integrate this PR by entering `/integrate` in a PR > comment (by itself). Andy or I will sponsor it for you. ~~In about 4 hours, that is (it hasn't quite been 24 hours).~~ ------------- PR Comment: https://git.openjdk.org/jfx/pull/2023#issuecomment-3714733622 PR Comment: https://git.openjdk.org/jfx/pull/2023#issuecomment-3714736081
