Fix min_refresh_interval handling on preferences save (#1489073)

Aleksander Machniak

2013-04-28 4cb8ced1a4ca32c6837e848dbfc585892b802f67

1
2
3
-- Updates from version 0.7-beta
 
ALTER TABLE "session" ALTER sess_id TYPE varchar(128);