[php-maint] Bug#736317: Issue resolved?
Sjors van der Pluijm
sjors at youngguns.nl
Thu Sep 25 20:22:16 UTC 2014
This issue seems to be resolved in PHP 5.4.4-14+deb7u14. After updating to
this version earlier today, the error did not occour so far.
More information about the pkg-php-maint
mailing list