Thomas Bruederli
2016-05-15 bd13f92ffb89446c5e4c3c097b32a2aa9bf990b7
1
2
3
-- Updates from version 0.7-beta
 
ALTER TABLE "session" ALTER sess_id TYPE varchar(128);