This change is ready for review.

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: Idb0c6953aee1ace275206fa4a2c16fa477bad5ec

Gerrit-Change-Number: 33422

Gerrit-PatchSet: 3

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

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

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

Gerrit-Comment-Date: Sat, 03 Aug 2019 16:39:52 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment