Nico Huber posted comments on this change.

Patch set 5:

Does this still matter? the repos are sync'ed anyway, aren't they?

To view, visit change 19187. To unsubscribe, visit settings.

Gerrit-Project: flashrom

Gerrit-Branch: staging

Gerrit-MessageType: comment

Gerrit-Change-Id: I9461dc4d2d461fff253392c4a1249a8835d5c9a4

Gerrit-Change-Number: 19187

Gerrit-PatchSet: 5

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

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

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

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

Gerrit-Reviewer: Philippe Mathieu-Daudé <philippe.mathieu.daude@gmail.com>

Gerrit-Reviewer: Stefan Tauner <stefan.tauner@gmx.at>

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

Gerrit-Comment-Date: Tue, 20 Jun 2017 10:40:45 +0000

Gerrit-HasComments: No