linux-header: Updated (3.10.12 -> 3.10.13)

base/linux-header/linux-header.desc

@@ -32,7 +32,7 @@
 
 [L] GPL
 [S] Stable
-[V] 3.10.12
+[V] 3.10.13
 
 # in theory we only need the initial headers (stage 0) however some arches
 # generate some and need a compiler to do so (SPARC) so we do rebuild them
@@ -40,4 +40,4 @@
 [P] X 01-------9 100.300
 
 [D] 502805126 linux-3.10.tar.bz2 http://ftp.kernel.org/pub/linux/kernel/v3.0/
-[D] 2562476215 patch-3.10.12.bz2 http://kernel.org/pub/linux/kernel/v3.0/
+[D] 745579736 patch-3.10.13.bz2 http://kernel.org/pub/linux/kernel/v3.0/