Bug#757342: wheezy-pu: package php5/5.4.31-0+deb7u1

2014-08-26 Thread Moritz Mühlenhoff
On Wed, Aug 20, 2014 at 12:07:03PM +0200, Ondřej Surý wrote: On Wed, Aug 20, 2014, at 11:53, Moritz Mühlenhoff wrote: On Thu, Aug 07, 2014 at 11:37:30AM +0200, Ondřej Surý wrote: Package: release.debian.org Severity: normal Tags: wheezy User: release.debian@packages.debian.org

Bug#757342: wheezy-pu: package php5/5.4.31-0+deb7u1

2014-08-20 Thread Moritz Mühlenhoff
On Thu, Aug 07, 2014 at 11:37:30AM +0200, Ondřej Surý wrote: Package: release.debian.org Severity: normal Tags: wheezy User: release.debian@packages.debian.org Usertags: pu -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Dear release team, as discussed on #debian-release about

Bug#757342: wheezy-pu: package php5/5.4.31-0+deb7u1

2014-08-20 Thread Ondřej Surý
On Wed, Aug 20, 2014, at 11:53, Moritz Mühlenhoff wrote: On Thu, Aug 07, 2014 at 11:37:30AM +0200, Ondřej Surý wrote: Package: release.debian.org Severity: normal Tags: wheezy User: release.debian@packages.debian.org Usertags: pu -BEGIN PGP SIGNED MESSAGE- Hash: