usertools: read PCI device name as UTF-8
[dpdk.git] / VERSION
1 20.05.0-rc3