Note this depends on CL:2183551 which isn't merged yet.

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: I02a83a40f1d0009e6f9561ae5d2d9f37a510549a

Gerrit-Change-Number: 41122

Gerrit-PatchSet: 1

Gerrit-Owner: Julius Werner <jwerner@chromium.org>

Gerrit-Reviewer: Aaron Durbin <adurbin@chromium.org>

Gerrit-Reviewer: Martin Roth <martinroth@google.com>

Gerrit-Reviewer: Patrick Georgi <pgeorgi@google.com>

Gerrit-Comment-Date: Thu, 07 May 2020 01:21:16 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment