ping...

View Change

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: I3608968ce62c615645941d8e141a8df4cb9b41a8

Gerrit-Change-Number: 40540

Gerrit-PatchSet: 4

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

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

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

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

Gerrit-Reviewer: Jes Klinke <jbk@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-CC: Paul Menzel <paulepanter@users.sourceforge.net>

Gerrit-Comment-Date: Fri, 24 Apr 2020 23:14:41 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment