On Fri, 12 Sep 2025 21:28:41 GMT, Francesco Andreuzzi <fandreu...@openjdk.org> wrote:
> The flag has been there since 8153779ad32d1e8ddd37ced826c76c7aafc61894, but > seems to be unused. > > Testing: `tier1`. @fandreuz Your change (at version a2712d42c18830058c1cee6b530c8b9d94b1ecd3) is now ready to be sponsored by a Committer. ------------- PR Comment: https://git.openjdk.org/jdk/pull/27265#issuecomment-3288747493
