On Fri, 7 Apr 2023 12:22:03 GMT, Andy-Tatman <d...@openjdk.org> wrote:
> See https://bugs.java.com/bugdatabase/view_bug?bug_id=8305734 OK. Feel free to discuss things here before trying to wordsmith the CSR. It's probably easier to discuss and get agreement on a sketch of a solution before trying to commit the solution to words in the specification. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13388#issuecomment-1603375418
