On 31 January 2017 at 19:37, Marc-André Lureau <marcandre.lur...@gmail.com> wrote: > Thanks, patch updated, tag updated. > > Peter, let me know if you want me to resend the pull request.
I'll put it back on my list. NB that the guaranteed reliable way for me to spot that you want me to reprocess a respin is to send a new cover letter email (you need not resend all the individual patch mails if they're basically the same). That will cause my filters to spot the cover letter email and put it back in the folder of things to process. Doing anything else is relying on my happening to read your email informally asking for a re-run, which in this case I did but if you're unlucky I might miss it. TLDR: resending the cover letter entrusts your fate to the hands of an infallible unsleeping robot; informal requests leave you reliant on a careless human. The robot is your friend. thanks -- PMM