Pavel Skripkin <paskripkin@xxxxxxxxx> writes: > Hi Toke, > > On 6/10/22 21:30, Toke Høiland-Jørgensen wrote: >> >> In general, if a patch is marked as "changes requested", the right thing >> to do is to bug the submitter to resubmit. Which I guess you just did, >> so hopefully we'll get an update soon :) >> > > > I agree here. The build fix is trivial, I just wanted to reply to > Hillf like 2 weeks ago, but an email got lost in my inbox. > > So, i don't know what is correct thing to do rn: wait for Hillf's > reply or to quickly respin with build error addressed? Up to you. If you respin it now we can just let it sit in patchwork over the weekend and see if it attracts any further comment; or you can wait and respin on Monday... -Toke
