On Thu, 7 Jul 2022 21:06:05 GMT, Pavel Rappo <prappo at openjdk.org> wrote: > Please review this triviality, a sad leftover from JDK-8280713 (#7723). Looks good to me. ------------- Marked as reviewed by hannesw (Reviewer). PR: https://git.openjdk.org/jdk/pull/9418