diff -r b5f15098f282 -r d56fd78006cd misc/migration/3.10.0_common.py
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/misc/migration/3.10.0_common.py	Mon Jul 26 12:08:24 2010 +0200
@@ -0,0 +1,1 @@
+option_group_changed('cleanup-session-time', 'web', 'main')