On Tue, 19 Nov 2024 20:55:33 GMT, Hamlin Li <mli at openjdk.org> wrote: > Nice catch and cleanup, looks much better! Just one minor comment. Thanks! ------------- PR Comment: https://git.openjdk.org/jdk/pull/22149#issuecomment-2487610039