--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/misc/migration/3.15.0_common.py Thu Mar 15 14:26:12 2012 +0100
@@ -0,0 +1,2 @@
+undo_actions = config.cfgfile_parser.get('MAIN', 'undo-support', False)
+config.global_set_option('undo-enabled', bool(undo_actions))