On Wed, 3 Apr 2024 02:38:21 GMT, Julian Waters <jwat...@openjdk.org> wrote:
> I will keep this open until the other Pull Request has been integrated, in > case this might still be needed I don't think it is necessary. You can always re-open a PR if it should be needed, and you can look at source code and comments (and even make new comments) on a closed PR. So I think it will just make it easier for everybody if there is only a single open PR for this issue. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15096#issuecomment-2033880103