[Pkg-mozext-maintainers] Bug#971693: webext-ublock-origin-firefox not compatible with non-empty user.js file

2020-10-05 Thread Markus Koschany
Hello, On Mon, 05 Oct 2020 09:58:26 +0200 pdorm...@free.fr wrote: > Package: webext-ublock-origin-firefox > Version: 1.30.0+dfsg-1 > Severity: normal > > Dear Maintainer, > > The bug is similar to #969123: ublock-origin is not started unless disabling > and re-enabling the addon or creating a

[Pkg-mozext-maintainers] [bts-link] source package compactheader

2020-10-05 Thread debian-bts-link
# # bts-link upstream status pull for source package compactheader # see http://lists.debian.org/debian-devel-announce/2006/05/msg1.html # https://bts-link-team.pages.debian.net/bts-link/ # user debian-bts-l...@lists.debian.org # remote status report for #971274

[Pkg-mozext-maintainers] Bug#971693: webext-ublock-origin-firefox not compatible with non-empty user.js file

2020-10-05 Thread pdormeau
Package: webext-ublock-origin-firefox Version: 1.30.0+dfsg-1 Severity: normal Dear Maintainer, The bug is similar to #969123: ublock-origin is not started unless disabling and re-enabling the addon or creating a new profile. But the latter fails as soon as a user.js is filled with some