On Wed, 8 Mar 2023 15:37:12 GMT, Coleen Phillimore <cole...@openjdk.org> wrote:

> That's a good fix and a good place for it. Thank you for figuring this out.
>
Thanks for the review Coleen!

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

PR: https://git.openjdk.org/jdk/pull/12911

Reply via email to