On Tue, 17 Oct 2023 21:39:56 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote: > Fixes and a clarification. Nice tidy. ------------- Marked as reviewed by iris (Reviewer). PR Review: https://git.openjdk.org/guide/pull/117#pullrequestreview-1683620474