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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: I86c7159d9f48560c41efdfe49f162aef00499d13

Gerrit-Change-Number: 45200

Gerrit-PatchSet: 1

Gerrit-Owner: Michael Niewöhner

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

Gerrit-Comment-Date: Wed, 09 Sep 2020 18:02:52 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment