On Tuesday, July 23rd, 2024 at 1:02 PM, Andrii Nakryiko <andrii.nakryiko@xxxxxxxxx> wrote: [...] > > > > I can send this fix together with the condition for the clean targets > > (so [1] can be discarded); or I can submit a separate change. Let me > > know what you'd prefer. > > > Send it separately, if that fix is good, I'll just apply it as is? Ok. Yes, you can apply the "if clean" patch as is.
