On Wed, 29 Sep 2021 00:47:43 GMT, David Holmes <dhol...@openjdk.org> wrote:

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

Patricio

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

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

Reply via email to