Bug#823954: [php-maint] Bug#823954: php5: Binary package "php5" does not need the whole build process to be created

[Santiago Vila]

On Wed, May 11, 2016 at 03:57:07PM +0200, Ondřej Surý wrote:
> Fair enough. Building updated package right now.

Thanks a lot!