+1
> On Oct 19, 2017, at 7:32 AM, Hannes Wallnöfer <[email protected]> > wrote: > > Please review: > > Bug: https://bugs.openjdk.java.net/browse/JDK-8189617 > Webrev: http://cr.openjdk.java.net/~hannesw/8189617/webrev.00/ > > Thanks, > Hannes
+1
> On Oct 19, 2017, at 7:32 AM, Hannes Wallnöfer <[email protected]> > wrote: > > Please review: > > Bug: https://bugs.openjdk.java.net/browse/JDK-8189617 > Webrev: http://cr.openjdk.java.net/~hannesw/8189617/webrev.00/ > > Thanks, > Hannes