On Wed, 18 Dec 2024 10:30:11 GMT, Emanuel Peter <epeter at openjdk.org> wrote: >> Looks like an oversight. > > Nice catch! done ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/22716#discussion_r1890137140