On Mon, 15 Jul 2024 19:11:38 GMT, Phil Race <[email protected]> wrote:
> There is nothing in this PR that I would accept. It should be withdrawn. I think we're all finding it a bit hard to understand what to do. Is the problem that - This is not a bug? - This is not a bug that should be fixed? - The fix is wrong? - There is a much better way to fix it? - This is an enhancement, but it is not a worthwhile one? Please, help us here. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20169#issuecomment-2296732537
