Let some env variables survive reset(); don't show taskbar and top line in ...

Thomas Bruederli

2013-02-10 d30460ad2fc0f78ce44d474fa2c466d660596d27

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