> On 25 Oct 2018, at 10:27, Michael McMahon <[email protected]> > 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.
