Thomas Bruederli
2015-06-01 7eefdc814991e6b8d9cd414678a2263a739cf358
1
2
3
-- Updates from version 0.7-beta
 
ALTER TABLE "session" ALTER sess_id TYPE varchar(128);