On Mon, 2 Dec 2024 13:19:54 GMT, Robbin Ehn <rehn at openjdk.org> wrote: > Nice @Hamlin-Li, thanks!!! Thank you Robbin! ------------- PR Comment: https://git.openjdk.org/jdk/pull/22475#issuecomment-2511760962