/usr/share/misc/pci.ids is not used anymore You can safely remove it
an update script forgot to do it
--------------------
For the file name, it's unfortunate to end with .gz as it is not compressed but that's not a big deal
/usr/share/ misc/pci. ids is not used anymore
You can safely remove it
an update script forgot to do it
------- ------- ------
For the file name, it's unfortunate to end with .gz as it is not compressed but that's not a big deal