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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: I9cd25edd167ec71ee98c7ffa4fa6f95ca73a75e9

Gerrit-Change-Number: 41116

Gerrit-PatchSet: 2

Gerrit-Owner: Michael Niewöhner

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

Gerrit-Comment-Date: Wed, 06 May 2020 23:42:12 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment