On Fri, 5 May 2023 22:08:15 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote: > Please review a small cleanup fix to address a comment left a long time back. looks good ------------- Marked as reviewed by vromero (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/13847#pullrequestreview-1421444755