On Thu, 15 Jun 2023 10:54:06 GMT, Matthias Baesken <mbaesken at openjdk.org> wrote: > Backport of 8309340 Hi Martin, thanks for the review ! ------------- PR Comment: https://git.openjdk.org/jdk17u-dev/pull/1444#issuecomment-1594267566