[coreboot] Re: Coverity

[awokd]

Patrick Georgi via coreboot:
> On Sun, Nov 24, 2019 at 11:00:00AM +0000, awokd via coreboot wrote:
> > Could a Coreboot Coverity admin please re-run the scan against master?
>
> Done.

Thank you, but could you please kick Coverity again? Last scan Nov. 26.

Also, I've seen some related changes I submit are automatically assigned
reviewers whereas others (e.g.
https://review.coreboot.org/c/coreboot/+/36257) are not. Is there
someone I should be adding?