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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: Ib2f384f539d55a3a8d4a7608336ef22aca3d8c4f

Gerrit-Change-Number: 41797

Gerrit-PatchSet: 2

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

Gerrit-Reviewer: Caveh Jalali <caveh@chromium.org>

Gerrit-Reviewer: Furquan Shaikh <furquan@google.com>

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

Gerrit-Comment-Date: Fri, 29 May 2020 06:02:36 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment