[Pkg-anonymity-tools] Processed: Re: Bug#763739: torbrowser-launcher: Settings GUI - Launch button does not work

[Debian Bug Tracking System]

Processing control commands:

> tag -1 + moreinfo
Bug #763739 [torbrowser-launcher] torbrowser-launcher: Settings GUI - Launch button does not work
Added tag(s) moreinfo.

-- 
763739: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=763739
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems