Thomas Bruederli
2014-03-06 532c10669be034d314b1906e8247339132f1ec61
1
2
3
-- Updates from version 0.7-beta
 
ALTER TABLE "session" ALTER sess_id TYPE varchar(128);