Small fix to initial splitter position

Aleksander Machniak

2013-01-27 b0cc5519d74ac50a2c01b8106f9afa43357ccb48

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