update

[l4.git] / kernel / fiasco / tool / kconfig / README

diff --git a/kernel/fiasco/tool/kconfig/README b/kernel/fiasco/tool/kconfig/README
index 36d0a5d24d12b62287fd1cef945b725455d98d79..f521d80647c336e4c7d22f5d1fee89ce8bcc53f7 100644 (file)
--- a/kernel/fiasco/tool/kconfig/README
+++ b/kernel/fiasco/tool/kconfig/README
@@ -1,3 +1,3 @@
 
-kconfig taken from vanilla Linux 3.11-git, and slightly patched.
+kconfig taken from vanilla Linux 3.12.1, and slightly patched.