On 22/04/2019 21:57, Phil Race wrote:
Bug: https://bugs.openjdk.java.net/browse/JDK-8212701
CSR: https://bugs.openjdk.java.net/browse/JDK-8222814
Webrev: http://cr.openjdk.java.net/~prr/8212701/index.html
The launcher changes look fine.

-Alan

Reply via email to