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
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