[php-maint] Bug#694473: Bug#691318: Maybe duplicate of 694473 ?
ondrej at debian.org
Wed Jan 23 15:36:09 UTC 2013
There's a slight problem and that is I can't reproduce the problem
with 5.4.4-11 in amd64 wheezy chroot neither with mediawiki package
nor the vanilla mediawiki 1.20.2, so I cannot confirm if the 5.4.4-12
fixed the error or not.
Could one of the affected people please confirm? Unless you confirm
the bug is fixed, it cannot be propagated to wheezy, and I would
really much like to avoid releasing wheezy with a RC bug in PHP.
On Sun, Dec 23, 2012 at 4:13 PM, Stefan Fritsch <sf at sfritsch.de> wrote:
> This may be the same as
> which has more infos.
> pkg-php-maint mailing list
> pkg-php-maint at lists.alioth.debian.org
Ondřej Surý <ondrej at sury.org>
More information about the pkg-php-maint