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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: Icb7a40e476966a7aca36bee055ee71d181508b87

Gerrit-Change-Number: 47246

Gerrit-PatchSet: 2

Gerrit-Owner: Michael Niewöhner <foss@mniewoehner.de>

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

Gerrit-Comment-Date: Thu, 05 Nov 2020 16:40:14 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment