On Fri, 22 Nov 2024 14:59:19 GMT, Hamlin Li <mli at openjdk.org> wrote: > Nice catch and fix! Thanks! Thanks! ------------- PR Comment: https://git.openjdk.org/jdk/pull/22293#issuecomment-2494473436