On Tue, 3 Sep 2024 08:52:55 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > The bug number is missing. Oops, Sorry I missed it. I have added it now. Thanks for pointing it out. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20827#issuecomment-2326010893