On Wed, 21 May 2025 10:36:58 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:

> Please review a trivial change to disable syntax highlighting in JDK API docs.

Marked as reviewed by erikj (Reviewer).

-------------

PR Review: https://git.openjdk.org/jdk/pull/25348#pullrequestreview-2857648558

Reply via email to