On Wed, 7 Oct 2020 19:47:07 GMT, Serguei Spitsyn <[email protected]> wrote:
> > > Richard, > Thank you for the formatting and refactoring changes. > The fix looks good to me. Thank you very much Serguei! ------------- PR: https://git.openjdk.java.net/jdk/pull/119
