Re: comment #13, I had re-tested Mantic, Jammy, and Focal with/without the patch (they all work/fail as expected), but forgot to update the bug.
Re: comment #13, I had re-tested Mantic, Jammy, and Focal with/without the patch (they all work/fail as expected), but forgot to update the bug.