> 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.

Reply via email to