Op 9/27/23 om 15:55 schreef Amit Langote:
> On Thu, Sep 21, 2023 at 9:41 PM Amit Langote <amitlangote09(at)gmail(dot)com> wrote:
I don't knoe, maybe it's worthwhile to fix this (admittedly trivial)
fail in the tests? It's been there for a while.
Thanks,
Erik