On Thu, 9 Feb 2023 15:49:03 GMT, Matthias Baesken <mbaesken at openjdk.org> wrote: > Backport of 8300266 Hi Christoph, thanks for the review ! ------------- PR: https://git.openjdk.org/jdk17u-dev/pull/1152