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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: I7ab2d3839ecb758335ef8cc6a0c0c7103db0fa50

Gerrit-Change-Number: 46278

Gerrit-PatchSet: 3

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

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

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

Gerrit-Comment-Date: Mon, 12 Oct 2020 23:13:46 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment