Patrick Georgi (pgeorgi@google.com) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/18322
-gerrit
commit 24de2e44d02a8981ca60f40e3acc383438c14a98 Author: Patrick Georgi pgeorgi@chromium.org Date: Fri Feb 10 14:59:27 2017 +0100
google/gru: Fix whitespace
Change-Id: I538c28fb1bc412947ef9df947fa3f6a3312aeb4b Signed-off-by: Patrick Georgi pgeorgi@chromium.org --- src/mainboard/google/gru/Kconfig.name | 1 - 1 file changed, 1 deletion(-)
diff --git a/src/mainboard/google/gru/Kconfig.name b/src/mainboard/google/gru/Kconfig.name index deace91..55d7a65 100644 --- a/src/mainboard/google/gru/Kconfig.name +++ b/src/mainboard/google/gru/Kconfig.name @@ -13,4 +13,3 @@ config BOARD_GOOGLE_BOB config BOARD_GOOGLE_SCARLET bool "Scarlet" select BOARD_GOOGLE_GRU_COMMON -