On Fri, 26 Jan 2024 18:51:30 GMT, Andy Goryachev <ango...@openjdk.org> wrote:
> Also, the description of this PR mentions two other tickets > > https://bugs.openjdk.org/browse/JDK-8145496 > https://bugs.openjdk.org/browse/JDK-8129014 > > are these duplicates or do they describe similar, but legally different > scenarios? if these are duplicates, they should probably be added to this PR. Correction: If they are duplicates, then they should be closed in JBS as such. If they are similar, but separate bugs, and if they are fixed by this PR, then they might be added to this PR. ------------- PR Comment: https://git.openjdk.org/jfx/pull/1236#issuecomment-1912557366
