[dpdk-dev] [PATCH 00/11] kill global pci device id list

[David Marchand]

On Sun, Jan 10, 2016 at 2:24 PM, Thomas Monjalon <thomas.monjalon at 6wind.com>
wrote:

> 2016-01-10 13:58, David Marchand:
> > Hello Thomas,
> >
> > Sorry, don't know how I ended up with this, I wrote an incorrect mail
> > address for you (I should not send patches after sunday meal ;-)).
>
> No worries :)
> I was not expecting a patch so quickly after introducing you in this
> thread.
> Glad to see that you take time for - at least - your sunday meal :)
>