Merge config files (#1487311). Now we have defaults.inc.php and config.inc....

Aleksander Machniak

2013-06-14 461a30d771edd8bc6606f2c92dfde363514b93b1

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