On Tue, 17 Jan 2023 04:29:31 GMT, David Holmes <dholmes at openjdk.org> wrote: > Hotspot changes are good. Thanks @dholmes-ora . ------------- PR: https://git.openjdk.org/jdk/pull/12005