barebox: bump to version 2013.10.1
authorFabio Porcedda <fabio.porcedda@gmail.com>
Mon, 18 Nov 2013 09:22:59 +0000 (10:22 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Mon, 18 Nov 2013 09:58:53 +0000 (10:58 +0100)
commitdb4f6e237f1d560c94a23d40c99c5f084102e31b
tree348d8d58ad522e57a4b83cc2ed33f28bdefd719c
parentf0c5c85215564e28138d928620310b57d610e6ce
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>
boot/barebox/Config.in