I really would like to see this submitted/merged. Arthur’s comment needs to be addressed.

View Change

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: I5714788aa74b2d8bd855cbc65dd3d78c0a0101b8

Gerrit-Change-Number: 37137

Gerrit-PatchSet: 3

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

Gerrit-Reviewer: Martin Roth <martinroth@google.com>

Gerrit-Reviewer: Patrick Georgi <pgeorgi@google.com>

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

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

Gerrit-CC: Arthur Heymans <arthur@aheymans.xyz>

Gerrit-CC: Nico Huber <nico.h@gmx.de>

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

Gerrit-Comment-Date: Wed, 08 Apr 2020 14:44:54 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment