On Thu, 26 Jan 2023 23:03:56 GMT, Paul Sandoz <psan...@openjdk.org> wrote:
> Looks good. All changes seem informational explaining the existing behavior > so no CSR? Since that's not spec change, no CSR is my take. ------------- PR: https://git.openjdk.org/jdk/pull/12236
