Not sure where Joel is, but this is annoying me right now, so...

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: Ia2612da0df101cd3c46151dbce728633a39fada1

Gerrit-Change-Number: 37315

Gerrit-PatchSet: 2

Gerrit-Owner: Joel Kitching <kitching@google.com>

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

Gerrit-Reviewer: Joel Kitching <kitching@google.com>

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

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

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

Gerrit-Comment-Date: Wed, 04 Dec 2019 21:17:44 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment