On Tue, Jan 19, 2021 at 02:13:58PM +0100, Ludovic Courtès wrote: > Now, I think we should avoid papering over CI configuration issues (did > I get that right?) by changing package definitions.
Yes, that's idiomatic English, if that is what you were asking about. And I agree, the package definitions shouldn't include workarounds for CI problems.