Improvements to PR merge "add option show_real_foldernames"

Aleksander Machniak

2013-06-11 85e65c3c7672d0e56ada988a047f0f602ba0c964

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