Update config.php

Dennis1993

2013-07-16 77d5349ef20a38ddd44c96fada3925f446381ddd

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