On Thu, 11 May 2023 08:42:40 GMT, Andrew Haley <aph at openjdk.org> wrote: > Great catch, thanks. Does this one need backports? I think so. I will handle the backports as well. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13895#issuecomment-1543666131