On Tue, 20 May 2025 22:33:57 GMT, Phil Race <p...@openjdk.org> wrote:
> I don't think that necessary for this case. But it is possible and will not freeze this change in stone forever. ------------- PR Comment: https://git.openjdk.org/jdk/pull/24991#issuecomment-2896035156
