Thomas Bruederli
2014-07-09 7e7e451b66a30d2798c3194330bdf42cd74561fe
1
2
3
-- Updates from version 0.7-beta
 
ALTER TABLE "session" ALTER sess_id TYPE varchar(128);