On Mon, 23 Jan 2023 14:59:08 GMT, Per Minborg <pminborg at openjdk.org> wrote: > This PR fixes a couple of typos in the documentation. Marked as reviewed by iris (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/12142