Thomas Bruederli
2015-05-12 0d4d43375c114075ab4315824b7bd276be45ec44
1
2
3
-- Updates from version 0.7-beta
 
ALTER TABLE "session" ALTER sess_id TYPE varchar(128);