+1,

Looks good, thanks for the native cleanup.

Roger


On 04/23/2019 02:52 AM, Alan Bateman wrote:
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