On Fri, 7 Apr 2023 16:09:06 GMT, Alan Bateman <al...@openjdk.org> wrote:
> Perhaps the issue summary / PR title should be more like this? I'm not so sure. What you suggest describes this fix for this bug, but it doesn't really describe the bug itself - instead, the bug argues that the reentrant behavior is wrong (though it does admit better documentation would help somewhat). I'm not sure what the official policy is here on bug summaries vs. PR's, etc. > or better still, create a new issue in JBS as it is confusing to re-purpose > JDK-8291023. OK, good compromise. I'll do that. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13379#issuecomment-1500424529 PR Comment: https://git.openjdk.org/jdk/pull/13379#issuecomment-1500425283
