Merged configuration refactoring from 'dev_config' branch back into master ...

Thomas Bruederli

2013-07-10 0703bfecd0b9efca36caee4f7b9c64c4135d57af

1
2
3
-- Updates from version 0.7-beta
 
ALTER TABLE "session" ALTER sess_id TYPE varchar(128);