On Mon, 16 Oct 2023 16:19:41 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote: > This PR fixes a wrong reference to the JLS memory model section. Marked as reviewed by jvernee (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/16204#pullrequestreview-1680886449