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

David Marchand david.marchand at 6wind.com
Sun Jan 10 13:58:57 CET 2016


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 ;-)).


-- 
David Marchand


More information about the dev mailing list