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 The update to this HTML file looks OK to me. The updated text matches its corresponding source `.md` file which was changed in JDK-8372940 - https://github.com/openjdk/jdk/pull/28606/files#diff-44d5db5cf4a8b24b9d9a5ba580e91bc7cd91894ead852a6a5ea6490bd7aea44a ------------- Marked as reviewed by jpai (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/28631#pullrequestreview-3534735932
