On Fri, 16 Aug 2024 21:04:36 GMT, Kevin Driver <kdri...@openjdk.org> wrote:

>> I would answer yes, yes, yes, yes, and YES. :-)
>
> Addressed in 
> https://github.com/openjdk/jdk/pull/20301/commits/c6f491cd05c76088e6431b2ba9d4ab42b29e4055.
>  Please indicate if this is resolved.

Yes, resolved.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/20301#discussion_r1727790328

Reply via email to