barebox: bump to version 2013.10.1

This is a bug fix release.

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 a409acaca40fc63b1092e50ce14340b698cc199e..84db6ae73ec526ee4d4567edb97fe8784c643d88 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.10.0"
+       bool "2013.10.1"
 
 config BR2_TARGET_BAREBOX_CUSTOM_VERSION
        bool "Custom version"
@@ -40,7 +40,7 @@ endif
 
 config BR2_TARGET_BAREBOX_VERSION
        string
-       default "2013.10.0"     if BR2_TARGET_BAREBOX_LATEST_VERSION
+       default "2013.10.1"     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