On Thu, 2023-03-02 at 23:35 +0100, Guillaume Gomez wrote: > I don't have push rights so if you could push it, it'd be super > appreciated!
Done, as r13-6425-g6b432c0f777ab9; I took the liberty of slightly tweaking the subject line to add a "jit, testsuite: " prefix. Thanks again for the patch Dave