[php-maint] Bug#694473: Bug#691318: Bug#691318: Maybe duplicate of 694473 ?
olivier.berger at it-sudparis.eu
Thu Jan 24 09:54:33 UTC 2013
Ondřej Surý <ondrej at debian.org> writes:
> 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.
I've just tested posting a mediawiki edit on my fusionforge server
installed with 5.4.4-11 and could reproduce the problem right after an
Will now test 5.4.4-12 and report.
http://www-public.telecom-sudparis.eu/~berger_o/ - OpenPGP-Id: 2048R/5819D7E8
Ingenieur Recherche - Dept INF
Institut Mines-Telecom, Telecom SudParis, Evry (France)
More information about the pkg-php-maint