Re: fix for https://bugs.openjdk.java.net/browse/JDK-8199765

2018-04-19 Thread Kevin Rushforth
+1 On 4/18/2018 11:18 PM, Johan Vos wrote: Can someone review/ack the simple PR for https://bugs.openjdk.java.net/browse/JDK-8199765 ? Thanks, - Johan

fix for https://bugs.openjdk.java.net/browse/JDK-8199765

2018-04-19 Thread Johan Vos
Can someone review/ack the simple PR for https://bugs.openjdk.java.net/browse/JDK-8199765 ? Thanks, - Johan