[Pkg-mozext-maintainers] Processed: Re: Bug#881137: xul-ext-https-everywhere: Please update xul-ext-https-everywhere to version 2017.10.30 by next pu

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 881137 important
Bug #881137 [xul-ext-https-everywhere] xul-ext-https-everywhere: Please update xul-ext-https-everywhere to version 2017.10.30 by next pu
Severity set to 'important' from 'grave'
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
881137: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=881137
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems