ping, happy friday!

View Change

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: If50269808645ddc019e0d94fa8296df58ab7c367

Gerrit-Change-Number: 44038

Gerrit-PatchSet: 3

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

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

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

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

Gerrit-Reviewer: Stefan Reinauer <stefan.reinauer@coreboot.org>

Gerrit-Reviewer: Tim Wawrzynczak <twawrzynczak@chromium.org>

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

Gerrit-CC: HAOUAS Elyes <ehaouas@noos.fr>

Gerrit-CC: Paul Menzel <paulepanter@users.sourceforge.net>

Gerrit-Comment-Date: Fri, 18 Sep 2020 17:51:42 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment