On Tue, 8 Nov 2022 11:35:17 GMT, Raffaello Giulietti <rgiulietti at 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