On Mon, 5 Feb 2024 10:37:59 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> I'll have a look. It is definitely cleaner if it works. Yeah, no, as expected it did not work. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17688#issuecomment-1926726543