Thomas Bruederli
2014-01-30 1978ae97a5e0feb8d205c5fcbaa2cc16ce3ffc28
1
2
3
-- Updates from version 0.7-beta
 
ALTER TABLE "session" ALTER sess_id TYPE varchar(128);