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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: I814e191243224a4b021cd7d4c1b611316f1fd1a4

Gerrit-Change-Number: 48391

Gerrit-PatchSet: 2

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

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

Gerrit-Comment-Date: Tue, 08 Dec 2020 09:36:16 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment