Optimize list events for touch devices

Thomas Bruederli

2013-08-14 96c4b9098bec7191c708d4e4f96b80b2768a7ef0

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