diff -r 72b3996ba3e6 -r 11c21c4c5c51 config/companion_libs/ppl.in
--- a/config/companion_libs/ppl.in	Fri Aug 06 22:42:55 2010 +0200
+++ b/config/companion_libs/ppl.in	Wed Feb 23 00:10:57 2011 +0100
@@ -6,6 +6,11 @@
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW
 
+config PPL_V_0_11_1
+    bool
+    prompt "0.11.1 (EXPERIMENTAL)"
+    depends on EXPERIMENTAL
+
 config PPL_V_0_11
     bool
     prompt "0.11 (EXPERIMENTAL)"
@@ -21,5 +26,6 @@
     string
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
+    default "0.11.1" if PPL_V_0_11_1
     default "0.11" if PPL_V_0_11
     default "0.10.2" if PPL_V_0_10_2