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