On Mon, 17 Apr 2023 23:10:03 PDT (-0700), richard.guent...@gmail.com wrote:
On Mon, Apr 17, 2023 at 8:22 PM Palmer Dabbelt 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 fi
On Mon, Apr 17, 2023 at 8:22 PM Palmer Dabbelt 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 u
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?
(Also I'm not sure if we're supposed to be using `git cherry-pick -x`)