On Tue, 8 Nov 2022 11:35:17 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
> A small spec change to match established behavior. As this is a spec change only, please consider reviewing the CSR as well. ------------- PR: https://git.openjdk.org/jdk/pull/11038
