On Fri, 10 Jun 2022 08:36:57 GMT, Raffaello Giulietti <d...@openjdk.java.net> 
wrote:

> This fixes a bug introduced with JDK-8202449.

Marked as reviewed by bpb (Reviewer).

-------------

PR: https://git.openjdk.org/jdk/pull/9120

Reply via email to