Thomas Bruederli
2013-02-13 f924f5f0aa77fffe0da901f99214a636ec92c963
1
2
3
-- Updates from version 0.7-beta
 
ALTER TABLE "session" ALTER sess_id TYPE varchar(128);