On Tue, 27 Feb 2024 11:20:01 GMT, Raffaello Giulietti <rgiulietti at openjdk.org> wrote: > I can't find this one on the paper. Good catch; must have been a cut and paste error on my part. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/15879#discussion_r1504993038