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