[dpdk-dev] [PATCH 00/11] kill global pci device id list
thomas.monjalon at 6wind.com
Sun Jan 10 14:24:03 CET 2016
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 :)
More information about the dev