On Mon, 20 Oct 2025 12:30:09 GMT, Afshin Zafari <azafari at openjdk.org> wrote: > The extra letters removed. Looks good and trivial. ------------- Marked as reviewed by thartmann (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/27897#pullrequestreview-3356309273