Patch set 1:Code-Review +2

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: I9673ca70da32a1e5117b27fa89167e03379af9c1

Gerrit-Change-Number: 32183

Gerrit-PatchSet: 1

Gerrit-Owner: Patrick Georgi <pgeorgi@google.com>

Gerrit-Reviewer: Patrick Rudolph <siro@das-labor.org>

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

Gerrit-Comment-Date: Fri, 05 Apr 2019 06:22:04 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: Yes

Gerrit-MessageType: comment