Do we still need this?

View Change

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: Iea461262bf6ae5cd7b7dd74b3287e1bbc813efbb

Gerrit-Change-Number: 39340

Gerrit-PatchSet: 6

Gerrit-Owner: Joel Kitching <kitching@google.com>

Gerrit-Reviewer: Aaron Durbin <adurbin@chromium.org>

Gerrit-Reviewer: Alexander Couzens <lynxis@fe80.eu>

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

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

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

Gerrit-CC: Hung-Te Lin <hungte@chromium.org>

Gerrit-CC: Julius Werner <jwerner@chromium.org>

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

Gerrit-Comment-Date: Thu, 09 Jul 2020 08:55:34 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment