On Mon, 20 Jun 2022 08:19:53 GMT, George Adams <duke at openjdk.org> wrote: > backports https://bugs.openjdk.org/browse/JDK-8251551 as it's a low risk change This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk11u/pull/47