No problem.
On 2018-07-15 21:47, gf wrote: > So, should a ticket be created at Mozilla Bugzilla?
Not sure, but I would think not. Probably it's just about the Debian/Ubuntu packaging.
No problem.
On 2018-07-15 21:47, gf wrote:
> So, should a ticket be created at Mozilla Bugzilla?
Not sure, but I would think not. Probably it's just about the Debian/Ubuntu packaging.