[XS] Change in coreboot[master]: drivers/ipmi/ipmi_ops.h: Fix system event record data types - coreboot-gerrit

10 Jun 2023


      Stefan Reinauer has abandoned this change. ( https://review.coreboot.org/c/coreboot/+/51799?usp=email )
Change subject: drivers/ipmi/ipmi_ops.h: Fix system event record data types
......................................................................
Abandoned
-- 
To view, visit https://review.coreboot.org/c/coreboot/+/51799?usp=email
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: Idd4396c69bcf1eca110ed986fcde2b8c51484363
Gerrit-Change-Number: 51799
Gerrit-PatchSet: 1
Gerrit-Owner: Arthur Heymans arthur@aheymans.xyz
Gerrit-Reviewer: Angel Pons th3fanbus@gmail.com
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-CC: Paul Menzel paulepanter@mailbox.org
Gerrit-MessageType: abandon