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. >