linux-headers: bump 4.13.x series
authorBernd Kuhls <bernd.kuhls@t-online.de>
Sun, 15 Oct 2017 20:17:04 +0000 (22:17 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Mon, 16 Oct 2017 08:03:13 +0000 (10:03 +0200)
Signed-off-by: Bernd Kuhls <bernd.kuhls@t-online.de>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
package/linux-headers/Config.in.host

index 581d4b7ad28640e9746ba20998ebd8f5eecfbd26..6421b217a787ffa57e2d9717a42e621c27a891c3 100644 (file)
@@ -249,5 +249,5 @@ config BR2_DEFAULT_KERNEL_HEADERS
        default "4.10.17"       if BR2_KERNEL_HEADERS_4_10
        default "4.11.12"       if BR2_KERNEL_HEADERS_4_11
        default "4.12.14"       if BR2_KERNEL_HEADERS_4_12
-       default "4.13.6"        if BR2_KERNEL_HEADERS_4_13
+       default "4.13.7"        if BR2_KERNEL_HEADERS_4_13
        default BR2_DEFAULT_KERNEL_VERSION if BR2_KERNEL_HEADERS_VERSION