On Wed, 6 Jul 2016, Thomas Gleixner wrote:
> On Wed, 6 Jul 2016, Daniel Lezcano wrote:
> > On 06/28/2016 12:29 PM, Daniel Lezcano wrote:
> > I had some issues with gmail when sending this series. Can you confirm
> > you received this pull request correctly ?
>
> Nope. But I found it in the archives. No need to resend.
Hmm. No. That one in the archive was an older one. So yes, a resend is due.
Thanks,
tglx
