misc/migration/3.10.0_common.py
changeset 6012 d56fd78006cd
equal deleted inserted replaced
6011:b5f15098f282 6012:d56fd78006cd
       
     1 option_group_changed('cleanup-session-time', 'web', 'main')