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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: Id74f043ecd549bde4501320bff1dc080bde64057

Gerrit-Change-Number: 45001

Gerrit-PatchSet: 3

Gerrit-Owner: Benjamin Doron <benjamin.doron00@gmail.com>

Gerrit-Reviewer: Nico Huber <nico.h@gmx.de>

Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>

Gerrit-Comment-Date: Mon, 12 Oct 2020 04:35:16 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment