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

[Thomas Monjalon]

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 :)