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.


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to