This change is ready for review.

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: Ic121652213d5b1f65cff2f3096e919a3cf88db72

Gerrit-Change-Number: 34838

Gerrit-PatchSet: 4

Gerrit-Owner: Felix Singer <felixsinger@posteo.net>

Gerrit-Reviewer: Felix Singer <felixsinger@posteo.net>

Gerrit-Reviewer: Patrick Rudolph <patrick.rudolph@9elements.com>

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

Gerrit-CC: Angel Pons <th3fanbus@gmail.com>

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

Gerrit-Comment-Date: Tue, 10 Sep 2019 16:11:43 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment