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` CHANGE `sess_id` `sess_id` varchar(128) NOT NULL;