On Tue, 16 Jul 2024 14:36:27 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > There is a typo in the bug id! Oh, sorry for missing that :( ------------- PR Comment: https://git.openjdk.org/jdk/pull/20194#issuecomment-2231214281