On Mon, Apr 17, 2023 at 8:22 PM Palmer Dabbelt <pal...@rivosinc.com> wrote:
>
> These had been approved for trunk, but I hadn't gotten around to
> committing them before the branch.  They're on trunk now.  They're all
> pretty trivial test suite fixes.
>
> OK for 13?

Yes

> (Also I'm not sure if we're supposed to be using `git cherry-pick -x`)

And yes.

Richard.

>

Reply via email to