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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: Iab23c07e15f754ca807f128b9edad7fdc9a44b9d

Gerrit-Change-Number: 45946

Gerrit-PatchSet: 4

Gerrit-Owner: Nick Vaccaro <nvaccaro@google.com>

Gerrit-Reviewer: Duncan Laurie <dlaurie@chromium.org>

Gerrit-Reviewer: Martin Roth <martinroth@google.com>

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

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

Gerrit-Comment-Date: Fri, 02 Oct 2020 03:55:53 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment