Hi Marcelo & Imre,
thank you for the report, patch and testing. I've for now forwarded your
bug report and patch upstream where this should be fixed for real.
https://github.com/micahflee/torbrowser-launcher/issues/552
Care to create a pull request there yourself? Otherwise I can do that.
I haven't been participating in maintaining tbl in Debian for a while
now. I would need some time to look at all the currently open bugs there
before applying your patch and upload a new version - so I am not doing
that right now.
Ulrike
