On Fri, 17 Mar 2023 09:18:19 GMT, Matthias Baesken <mbaesken at openjdk.org> wrote: > . Hi Christoph, thanks for the review ! ------------- PR Comment: https://git.openjdk.org/jdk17u-dev/pull/1207#issuecomment-1479418949