On Mon, 21 Jul 2025 12:25:25 GMT, Sean Mullan <mul...@openjdk.org> wrote:

> Seems more like a bug than an enhancement to me.

Thanks. Corrected to bug type.

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

PR Comment: https://git.openjdk.org/jdk/pull/26390#issuecomment-3097978754

Reply via email to