12 Jan
2024
12 Jan
'24
2:38 p.m.
Felix Held has abandoned this change. ( https://review.coreboot.org/c/coreboot/+/79928?usp=email )
Change subject: [WIP] device/device_util: TODO look into is_pci_dev_on_bus ......................................................................
Abandoned
--
To view, visit https://review.coreboot.org/c/coreboot/+/79928?usp=email
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: coreboot
Gerrit-Branch: main
Gerrit-Change-Id: I74219f2db407c107e3e7dcae1ee11b2c91225fbf
Gerrit-Change-Number: 79928
Gerrit-PatchSet: 3
Gerrit-Owner: Felix Held felix-coreboot@felixheld.de
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-CC: Patrick Rudolph patrick.rudolph@9elements.com
Gerrit-MessageType: abandon