Backport of 8217707

Tue May 28 09:12:43 UTC 2019

On 5/25/19 6:07 PM, Ali Ince wrote:
> I would like to request backport of this fix to 11u and 12u.
> 
> Bug: https://bugs.openjdk.java.net/browse/JDK-8217707
> Fix: http://hg.openjdk.java.net/jdk/jdk/rev/3a217bbdd3a2
> 
> The patch itself applies cleanly to both repos.

The patch is approved for 11u. However, there is no-one whose job it
is to push it. I might be able to get to it today, but I'm not
promising anything.

-- 
Andrew Haley
Java Platform Lead Engineer
Red Hat UK Ltd. <https://www.redhat.com>
https://keybase.io/andrewhaley
EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671