On Thu, 30 Sep 2021 09:56:45 GMT, Serguei Spitsyn <sspit...@openjdk.org> wrote:

> 
> 
> Looks good. Thanks, Serguei

Thanks Serguei, I'll add some explanatory comments and check for any needed 
copyright updates before pushing.

-------------

PR: https://git.openjdk.java.net/jdk/pull/5726

Reply via email to