[coreboot-gerrit] Patch merged into coreboot/master: util/lint: Update lint-stable-000-license-headers
gerrit at coreboot.org
gerrit at coreboot.org
Thu Apr 14 17:46:54 CEST 2016
the following patch was just integrated into master:
commit cd9aec6fb04f3fcd59d053930f93d288358bf1ad
Author: Martin Roth <martinroth at google.com>
Date: Mon Apr 11 20:58:02 2016 -0600
util/lint: Update lint-stable-000-license-headers
Add all currently clean directories.
Change-Id: Ibfb6432b485adb7fdc930f57ea0af4ff35921d37
Signed-off-by: Martin Roth <martinroth at google.com>
Reviewed-on: https://review.coreboot.org/14332
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi at google.com>
See https://review.coreboot.org/14332 for details.
-gerrit
More information about the coreboot-gerrit
mailing list