misc/migration/3.10.0_common.py
author Julien Cristau <julien.cristau@logilab.fr>
Wed, 09 Oct 2013 11:13:56 +0200
changeset 9265 614762cdc357
parent 6012 d56fd78006cd
permissions -rw-r--r--
merge two default heads

option_group_changed('cleanup-session-time', 'web', 'main')