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

[Ondřej Surý]

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.

Ondrej

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>