On Fri, 10 Jun 2022 08:36:57 GMT, Raffaello Giulietti <[email protected]> wrote:
> This fixes a bug introduced with JDK-8202449. The fix reverts an inadvertent "correction" sneaked into JDK-8202449, restoring previous (correct) behavior. ------------- PR: https://git.openjdk.org/jdk/pull/9120
