diff -r 9258a7c3b84f -r b2261f6f9bc2 config/debug/duma.in
--- a/config/debug/duma.in	Fri Sep 07 21:31:01 2007 +0000
+++ b/config/debug/duma.in	Wed Jun 11 20:40:38 2008 +0000
@@ -34,6 +34,10 @@
     bool
     prompt "2_5_8"
 
+config DUMA_V_2_5_12
+    bool
+    prompt "2_5_12"
+
 # CT_INSERT_VERSION_ABOVE
 # Don't remove above line!
 endchoice
@@ -42,6 +46,7 @@
     string
     default "2_5_1" if DUMA_V_2_5_1
     default "2_5_8" if DUMA_V_2_5_8
+    default "2_5_12" if DUMA_V_2_5_12
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!