[coreboot-gerrit] Change in coreboot[master]: drivers/ipmi: Change type of custom_count from int to size_t

[Paul Menzel (Code Review)]

Attention is currently required from: Angel Pons.
Paul Menzel has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/60790 )

Change subject: drivers/ipmi: Change type of custom_count from int to size_t
......................................................................

Patch Set 3:

(1 comment)

File src/drivers/ipmi/ipmi_ops.h:

https://review.coreboot.org/c/coreboot/+/60790/comment/db5f2791_b3595a3e 
PS2, Line 132: unsigned int
> Why not `size_t` here?

Sorry, was just a leftover from a test.