[pkg-php-pear] Processed: user debian-qa at lists.debian.org, usertagging 851665, usertagging 821583 ..., unarchiving 821612 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> user debian-qa at lists.debian.org
Setting user to debian-qa at lists.debian.org (was anbe at debian.org).
> usertags 851665 piuparts
There were no usertags set.
Usertags are now: piuparts.
> usertags 821583 piuparts
There were no usertags set.
Usertags are now: piuparts.
> severity 821583 serious
Bug #821583 [php-kdyby-events] php-kdyby-events: PHP 7.0 Transition
Severity set to 'serious' from 'important'
> unarchive 821612
Bug #821612 {Done: Debian FTP Masters <ftpmaster at ftp-master.debian.org>} [php-securitylib] php-securitylib: PHP 7.0 Transition
Unarchived Bug 821612
> usertags 821612 piuparts
There were no usertags set.
Usertags are now: piuparts.
> found 821612 1.1.0-1
Bug #821612 {Done: Debian FTP Masters <ftpmaster at ftp-master.debian.org>} [php-securitylib] php-securitylib: PHP 7.0 Transition
Marked as found in versions php-securitylib/1.1.0-1 and reopened.
> severity 821612 serious
Bug #821612 [php-securitylib] php-securitylib: PHP 7.0 Transition
Severity set to 'serious' from 'important'
> unarchive 821615
Bug #821615 {Done: Debian FTP Masters <ftpmaster at ftp-master.debian.org>} [php-streams] php-streams: PHP 7.0 Transition
Unarchived Bug 821615
> usertags 821615 piuparts
There were no usertags set.
Usertags are now: piuparts.
> severity 821615 serious
Bug #821615 {Done: Debian FTP Masters <ftpmaster at ftp-master.debian.org>} [php-streams] php-streams: PHP 7.0 Transition
Severity set to 'serious' from 'important'
> found 821615 0.3.0-1
Bug #821615 {Done: Debian FTP Masters <ftpmaster at ftp-master.debian.org>} [php-streams] php-streams: PHP 7.0 Transition
Marked as found in versions php-streams/0.3.0-1 and reopened.
> thanks
Stopping processing here.

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