[Pkg-php-pecl] Processed: Re: Bug#821701: src:php-json: PHP 7.0 Transition

[Debian Bug Tracking System]

Processing control commands:

> notfound -1 php-json/1:7.0+35
Bug #821701 [src:php-json] src:php-json: PHP 7.0 Transition
The source php-json and version 1:7.0+35 do not appear to match any binary packages
No longer marked as found in versions php-json/1:7.0+35.
> found -1 php-json/1.3.7-1
Bug #821701 [src:php-json] src:php-json: PHP 7.0 Transition
Marked as found in versions php-json/1.3.7-1.
> severity -1 serious
Bug #821701 [src:php-json] src:php-json: PHP 7.0 Transition
Severity set to 'serious' from 'important'

-- 
821701: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=821701
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems