[coreboot-gerrit] Patch merged into coreboot/master: lint: rename lint-006-checkpatch because board name is lint-006
gerrit at coreboot.org
gerrit at coreboot.org
Tue Jan 12 22:32:32 CET 2016
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
More information about the coreboot-gerrit
mailing list