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

[Adrian Bunk]

On Tue, Apr 19, 2016 at 10:17:50AM +0200, Ondřej Surý wrote:
> Control: notfound -1 php-json/1:7.0+35
> Control: found -1 php-json/1.3.7-1
> Control: severity -1 serious

Hi Ondřej,

is there any reason for keeping the php-json source package in unstable, 
or should it be removed?

Thanks
Adrian

-- 

       "Is there not promise of rain?" Ling Tan asked suddenly out
        of the darkness. There had been need of rain for many days.
       "Only a promise," Lao Er said.
                                       Pearl S. Buck - Dragon Seed