+1.

Thanks,
Jay

> On 18-May-2020, at 10:46 AM, Philip Race <philip.r...@oracle.com> wrote:
> 
> Bug: https://bugs.openjdk.java.net/browse/JDK-6949753 
> <https://bugs.openjdk.java.net/browse/JDK-6949753>
> webrev : http://cr.openjdk.java.net/~prr/6949753/ 
> <http://cr.openjdk.java.net/~prr/6949753/>
> 
> Buggy, manual and not very useful. Delete.
> 
> -phil.

Reply via email to