On Tue, 19 Nov 2024 19:33:18 GMT, kabutz <d...@openjdk.org> wrote: > See internal bug review 9077848 > > This is a very small unimportant mistake in the naming of the documentation > that does not match the code.
@kabutz Your change (at version 2817981d67c561580f262c049384be6f7fe6520f) is now ready to be sponsored by a Committer. ------------- PR Comment: https://git.openjdk.org/jdk/pull/22253#issuecomment-2489417374
