On Tue, 25 Jul 2023 14:52:03 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote: > The usual updates. To be pushed after tag 17.0.10+0 Looks fine. ------------- Marked as reviewed by shade (Reviewer). PR Review: https://git.openjdk.org/jdk17u-dev/pull/1623#pullrequestreview-1546052903