On Sun, 27 Nov 2022 20:53:02 GMT, Erik Gahlin <egahlin at openjdk.org> wrote: > Could I have review of this docs fix. > > Testing: make docs + test/jdk/jdk/jfr > > Thanks > Erik Marked as reviewed by mgronlun (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/11381