On Fri, 1 Dec 2023 17:53:22 GMT, Erik Joelsson <erikj at openjdk.org> wrote: >> Fixed in latest > > This one wasn't changed. :) Now it is 🙈 ------------- PR Review Comment: https://git.openjdk.org/skara/pull/1578#discussion_r1412442453