Re: [RFC PATCH] docs/system/deprecated: mark ppc64abi32-linux-user for deprecation

[Richard Henderson]

On 9/7/20 2:05 AM, Alex Bennée wrote:
> What about tweaking configure? Or should I just manually squash it in
> all our CI configs?

Squash in to CI, I would think.


r~