On Tue, 16 Aug 2022 14:18:57 GMT, Christoph Langer <clanger at openjdk.org> wrote: > Merge changes for jdk-17.0.4.1 from jdk17u As it could be done by fast forward, I pushed the changes directly. ------------- PR: https://git.openjdk.org/jdk17u-dev/pull/634