I really hope these patches could be merged eventually and the need for this - is temporary.

View Change

To view, visit change 48427. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I04869ae24185eef5399c3fd9b8d4965ec4e33a19
Gerrit-Change-Number: 48427
Gerrit-PatchSet: 1
Gerrit-Owner: Mike Banon <mikebdp2@gmail.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>
Gerrit-Comment-Date: Mon, 07 Dec 2020 19:29:57 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
Gerrit-MessageType: comment