diff -r d1a8c2ae7946 -r 1c68438f44f7 config/companion_libs/ppl.in
--- a/config/companion_libs/ppl.in	Tue May 31 16:27:39 2011 +0200
+++ b/config/companion_libs/ppl.in	Fri Nov 16 14:59:27 2012 +0100
@@ -8,20 +8,17 @@
 
 config PPL_V_0_11_2
     bool
-    prompt "0.11.2 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "0.11.2"
     select PPL_0_11
 
 config PPL_V_0_11_1
     bool
-    prompt "0.11.1 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "0.11.1"
     select PPL_0_11
 
 config PPL_V_0_11
     bool
-    prompt "0.11 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "0.11"
     select PPL_0_11
 
 config PPL_V_0_10_2