On Sun, 8 Jun 2025 09:07:11 GMT, He-Pin(kerr) <duke at openjdk.org> wrote: > Rename auxilliary to auxiliary Thanks for finding and fixing this. ------------- Marked as reviewed by dl (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/25685#pullrequestreview-2912920005