1 files changed, 1 insertions, 1 deletions
diff --git a/extra/linux-pae/config b/extra/linux-pae/config
index f208df98..2edd47d0 100644
--- a/extra/linux-pae/config
+++ b/extra/linux-pae/config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.17.12-1 Kernel Configuration
+# Linux/x86 4.17.13-1 Kernel Configuration
 #
 # CONFIG_64BIT is not set
 CONFIG_X86_32=y