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