> On 25 Oct 2018, at 10:27, Michael McMahon <michael.x.mcma...@oracle.com> > wrote: > > Hi, > > Could I get the following change reviewed please? > > http://cr.openjdk.java.net/~michaelm/8212926/webrev.1/index.html > <http://cr.openjdk.java.net/~michaelm/8212926/webrev.1/index.html>
I think this is good. Thanks Michael. -Chris.