On Fri, 1 Sep 2023 03:45:24 GMT, Phil Race <p...@openjdk.org> wrote: > Probably I should not have posted this PR even as draft if it is going to get > attention as it isn't really ready for that.
No! That is really interesting proposal and discussion! BTW this PR is not in the draft state. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15476#issuecomment-1702168525
