On Tue, 7 Mar 2023 17:32:15 GMT, Weijun Wang <weijun at openjdk.org> wrote: > I'll think about it more and discuss with my colleagues. Hi Weijun, is there some news from your colleagues ? ------------- PR: https://git.openjdk.org/jdk/pull/12829