On Mon, 10 Jun 2024 08:57:23 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> 
wrote:

> Good catch!

Thanks!

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

PR Comment: https://git.openjdk.org/jdk/pull/19620#issuecomment-2157910277

Reply via email to