Thomas Bruederli
2013-02-07 4223b1e38ff38d74101cc2e2d6b33bb1050cf716
1
2
3
-- Updates from version 0.7-beta
 
ALTER TABLE "session" ALTER sess_id TYPE varchar(128);