On Mon, 3 Oct 2022 18:32:29 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
> Completes the spec of [PR 10541](https://github.com/openjdk/jdk/pull/10541) Marked as reviewed by darcy (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/10543
