On Wed, 28 Jun 2023 11:34:05 GMT, Pavel Rappo <prappo at openjdk.org> wrote: > Please review this trivial fix. Looks good. ------------- Marked as reviewed by hannesw (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/14694#pullrequestreview-1503104275