On Thu, 17 Feb 2022 09:35:47 GMT, Christoph Langer <clanger at openjdk.org> wrote: > Makes sense to me. Benchmark numbers look good. Thanks Christoph! ------------- PR: https://git.openjdk.java.net/jdk/pull/7492