> On 11 Oct 2018, at 13:28, Pavel Rappo <[email protected]> wrote: > > Hello, > > Please review the following change: > > http://cr.openjdk.java.net/~prappo/8212001/webrev.00 > <http://cr.openjdk.java.net/~prappo/8212001/webrev.00>
This looks good. Thanks Pavel. -Chris.
