[pkg-php-pear] Processed: user release.debian.org at packages.debian.org, usertagging 851771, tagging 851771

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> user release.debian.org at packages.debian.org
Setting user to release.debian.org at packages.debian.org (was niels at thykier.net).
> usertags 851771 stretch-can-defer
There were no usertags set.
Usertags are now: stretch-can-defer.
> tags 851771 + stretch-ignore
Bug #851771 [src:php-gettext] php-gettext: CVE-2016-6175
Added tag(s) stretch-ignore.
> thanks
Stopping processing here.

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