barebox: bump to version 2013.12.0

Signed-off-by: Fabio Porcedda <fabio.porcedda@gmail.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>

diff --git a/boot/barebox/Config.in b/boot/barebox/Config.in
index 2debfb924ac4e1c6d4ce6f9bac42e4da29dbb0a7..cdda5d2fd29257802ab3d9ed814bf09d5ab47a66 100644 (file)
--- a/boot/barebox/Config.in
+++ b/boot/barebox/Config.in
@@ -12,7 +12,7 @@ choice
          Select the specific Barebox version you want to use
 
 config BR2_TARGET_BAREBOX_LATEST_VERSION
-       bool "2013.11.0"
+       bool "2013.12.0"
 
 config BR2_TARGET_BAREBOX_CUSTOM_VERSION
        bool "Custom version"
@@ -40,7 +40,7 @@ endif
 
 config BR2_TARGET_BAREBOX_VERSION
        string
-       default "2013.11.0"     if BR2_TARGET_BAREBOX_LATEST_VERSION
+       default "2013.12.0"     if BR2_TARGET_BAREBOX_LATEST_VERSION
        default BR2_TARGET_BAREBOX_CUSTOM_VERSION_VALUE if BR2_TARGET_BAREBOX_CUSTOM_VERSION
        default "custom"        if BR2_TARGET_BAREBOX_CUSTOM_TARBALL
        default BR2_TARGET_BAREBOX_CUSTOM_GIT_VERSION if BR2_TARGET_BAREBOX_CUSTOM_GIT