this patch can be abandoned, since it was superseded by 33623

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: I2fb1a1d42d004123c3b12caf26cf0b03cd4046ec

Gerrit-Change-Number: 21032

Gerrit-PatchSet: 9

Gerrit-Owner: John E. Kabat <sljkrr@gmail.com>

Gerrit-Reviewer: Felix Held <felix-coreboot@felixheld.de>

Gerrit-Reviewer: John E. Kabat Jr. <john.kabat@scarletltd.com>

Gerrit-Reviewer: Kyösti Mälkki <kyosti.malkki@gmail.com>

Gerrit-Reviewer: Marshall Dawson <marshalldawson3rd@gmail.com>

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

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

Gerrit-Comment-Date: Tue, 02 Jul 2019 12:37:03 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment