This still needs testing.

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: If76389a16aed9df86f43e3aaed41a196288c3bb2

Gerrit-Change-Number: 31417

Gerrit-PatchSet: 1

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

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

Gerrit-Comment-Date: Thu, 14 Feb 2019 13:48:10 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment