On Tue, 18 Nov 2025 16:54:41 GMT, Maurizio Cimadamore <[email protected]> wrote:
> It would probably be cleaner, yes I can implement this one, but I don’t have account on the tracker to create the issue ------------- PR Comment: https://git.openjdk.org/jdk/pull/28124#issuecomment-3548718139
