Copy also INSTALL file

Aleksander Machniak

2015-02-04 dba43e7c8b796b0d98bab671a36a9bf22f9c0a86

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