On Wed, 25 Oct 2023 13:07:06 GMT, Erik Joelsson <erikj at openjdk.org> wrote: > I think we need a comment explaining why we need the sorting order. Sure ------------- PR Comment: https://git.openjdk.org/skara/pull/1575#issuecomment-1779580043