On Tue, 27 Feb 2024 10:46:17 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote: > as needed Looks fine. ------------- Marked as reviewed by shade (Reviewer). PR Review: https://git.openjdk.org/jdk17u-dev/pull/2243#pullrequestreview-1903184255