build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/21941 )
Change subject: Add modification date to manpage header instead of the section
......................................................................
Patch Set 1: Verified+1
Build Successful
https://qa.coreboot.org/job/flashrom-customrules/755/ : SUCCESS
https://qa.coreboot.org/job/flashrom_gerrit/683/ : SUCCESS
--
To view, visit
https://review.coreboot.org/21941
To unsubscribe, visit
https://review.coreboot.org/settings
Gerrit-Project: flashrom
Gerrit-Branch: stable
Gerrit-MessageType: comment
Gerrit-Change-Id: I45c5d6a2316c51a57a49fd010682dc3f0f915382
Gerrit-Change-Number: 21941
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber
nico.h@gmx.de
Gerrit-Reviewer: Stefan Tauner
stefan.tauner@gmx.at
Gerrit-Reviewer: build bot (Jenkins)
no-reply@coreboot.org
Gerrit-Comment-Date: Tue, 10 Oct 2017 16:59:09 +0000
Gerrit-HasComments: No