On Thu, 25 Aug 2022 09:33:05 GMT, Martin Doerr <mdoerr at openjdk.org> wrote: > Thanks for adding it! Looks good from our side. Our CI didn't find any other problems and we can still look into handling of adapters after this change. Thank you Martin! ------------- PR: https://git.openjdk.org/jdk/pull/9741