[coreboot-gerrit] Patch merged into coreboot/master: lint: rename lint-006-checkpatch because board name is lint-006

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 0ecbdde285c17c348fe5334a0c0774f3166d2b5a
Author: Martin Roth <martinroth at google.com>
Date:   Mon Jan 11 13:49:20 2016 -0700

    lint: rename lint-006-checkpatch because board name is lint-006
    
    Checkpatch should be 007.
    
    Change-Id: Ib71c50ad1a63a3a743391cd8fea9f79cd08ef6f3
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/12901
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


See https://review.coreboot.org/12901 for details.

-gerrit