Thomas Bruederli
2014-04-23 1fa0b6c0e546e1e003a93780f7c8007cf25dd673
1
2
3
-- Updates from version 0.7-beta
 
ALTER TABLE "session" ALTER sess_id TYPE varchar(128);