Small CSS optimizations

Victor Benincasa

2013-03-21 2f1d6c3edcd33e2e28a9c574327bc98305887ef9

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