Re: [RFC PATCH] docs/system/deprecated: mark ppc64abi32-linux-user for deprecation
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~