[XS] Change in coreboot[main]: drivers/ipmi/ocp: Add missing include - coreboot-gerrit

4 Dec 2024


      Attention is currently required from: Patrick Rudolph.
Lean Sheng Tan has posted comments on this change by Patrick Rudolph. ( https://review.coreboot.org/c/coreboot/+/85317?usp=email )
Change subject: drivers/ipmi/ocp: Add missing include
......................................................................
Patch Set 5: Code-Review+2
-- 
To view, visit https://review.coreboot.org/c/coreboot/+/85317?usp=email
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings?usp=email

Gerrit-MessageType: comment
Gerrit-Project: coreboot
Gerrit-Branch: main
Gerrit-Change-Id: Iccd131295263460a4939e51e12ece87ea22c417c
Gerrit-Change-Number: 85317
Gerrit-PatchSet: 5
Gerrit-Owner: Patrick Rudolph patrick.rudolph@9elements.com
Gerrit-Reviewer: Lean Sheng Tan sheng.tan@9elements.com
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-Attention: Patrick Rudolph patrick.rudolph@9elements.com
Gerrit-Comment-Date: Wed, 04 Dec 2024 11:04:18 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes