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

[Ondřej Surý]

Adrian,

it needs to go together with src:php5 that we still keep for s-p-u. But
I was
just going to ask security team if that's still needed since we are
doing all
updates via jessie-security anyway.

Cheers,
-- 
Ondřej Surý <ondrej at sury.org>
Knot DNS (https://www.knot-dns.cz/) – a high-performance DNS server
Knot Resolver (https://www.knot-resolver.cz/) – secure, privacy-aware,
fast DNS(SEC) resolver
Vše pro chleba (https://vseprochleba.cz) – Mouky ze mlýna a potřeby pro
pečení chleba všeho druhu

On Sat, Oct 15, 2016, at 17:54, Adrian Bunk wrote:
> 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
>