mirror of
https://github.com/dingusdev/dingusppc.git
synced 2025-01-09 21:31:24 +00:00
c9359592d7
In case multiple PCI devices of the same type are added, make sure each has a different name for logging.