Use .get_label() consistently (instead of .gettext())

Aleksander Machniak

2015-10-20 8f8beafd5619bde6ceebf30f0d8bfbfaa58973ae

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