On Wed, 29 Sep 2021 00:47:43 GMT, David Holmes <[email protected]> wrote:

> Fix seems quite reasonable.
> 
Thanks for the review David!

Patricio

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

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

Reply via email to