On Tue, 5 Nov 2024 07:22:55 GMT, Robbin Ehn <rehn at openjdk.org> wrote: > Thanks, I think it looks good. Thanks for the suggestions. I will wait for another reviewer. @Hamlin-Li : Do you want to take a look? ------------- PR Comment: https://git.openjdk.org/jdk/pull/21822#issuecomment-2456780211