On Wed, 3 Dec 2025 11:58:46 GMT, Nizar Benalla <[email protected]> wrote:
> Small doc-only change, the HTML file should have been updated as part of > 8372940 Marked as reviewed by erikj (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/28631#pullrequestreview-3535438996
