[php-maint] Bug#694473: Bug#691318: Maybe duplicate of 694473 ?

Ondřej Surý 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
> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=694473
> which has more infos.
> _______________________________________________
> pkg-php-maint mailing list
> pkg-php-maint at lists.alioth.debian.org
> http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-php-maint

Ondřej Surý <ondrej at sury.org>

More information about the pkg-php-maint mailing list