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