Thomas Bruederli
2013-08-29 0ce2126ac91f634b0bc5bf7f3567acd2f87f9972
1
2
3
-- Updates from version 0.7-beta
 
ALTER TABLE "session" ALTER sess_id TYPE varchar(128);