Change in coreboot[master]: util/lint: Update lint-000-license-headers linter - coreboot-gerrit

2 Jun 2018


      build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/26572 )
Change subject: util/lint: Update lint-000-license-headers linter
......................................................................
Patch Set 2: Verified+1
Build Successful
https://qa.coreboot.org/job/coreboot-gerrit/74007/ : SUCCESS
https://qa.coreboot.org/job/coreboot-checkpatch/28119/ : SUCCESS
-- 
To view, visit https://review.coreboot.org/26572
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: I53423205f1cbf142a294ee5d24e885741a44dfcd
Gerrit-Change-Number: 26572
Gerrit-PatchSet: 2
Gerrit-Owner: Martin Roth martinroth@google.com
Gerrit-Reviewer: Nico Huber nico.h@gmx.de
Gerrit-Reviewer: Patrick Georgi pgeorgi@google.com
Gerrit-Reviewer: Paul Menzel paulepanter@users.sourceforge.net
Gerrit-Reviewer: Philipp Deppenwiese zaolin.daisuki@gmail.com
Gerrit-Reviewer: Stefan Reinauer stefan.reinauer@coreboot.org
Gerrit-Reviewer: Werner Zeh werner.zeh@siemens.com
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-Comment-Date: Sat, 02 Jun 2018 18:24:06 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes