Am Di., 2. Juni 2020 um 17:50 Uhr schrieb Jeremy Jackson <[email protected] >:
> Below is a patch that does what I want for one of the points I > mentioned. Comments? Does this interfere with a different use case? > I'd say that change is reasonable. Care to push it to review.coreboot.org or should somebody else (e.g. I) take over? Patrick -- Google Germany GmbH, ABC-Str. 19, 20354 Hamburg Registergericht und -nummer: Hamburg, HRB 86891, Sitz der Gesellschaft: Hamburg Geschäftsführer: Paul Manicle, Halimah DeLaine Prado
_______________________________________________ coreboot mailing list -- [email protected] To unsubscribe send an email to [email protected]
