David, can you merge this one too?

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

Gerrit-Project: flashrom

Gerrit-Branch: master

Gerrit-Change-Id: Id2ece264c2d483e34019985dd3a7631c4889abe6

Gerrit-Change-Number: 30411

Gerrit-PatchSet: 5

Gerrit-Owner: Nico Huber <nico.h@gmx.de>

Gerrit-Reviewer: Angel Pons <th3fanbus@gmail.com>

Gerrit-Reviewer: David Hendricks <david.hendricks@gmail.com>

Gerrit-Reviewer: Jacob Garber <jgarber1@ualberta.ca>

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

Gerrit-CC: Mario Limonciello <superm1@gmail.com>

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

Gerrit-Comment-Date: Tue, 24 Sep 2019 20:56:42 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment