Hi,

I've published a patch for bug #65576 :
https://github.com/php/php-src/pull/946
Can you review it and merge it please ?

Best regards.
-- 
Kévin Dunglas

http://dunglas.fr
http://les-tilleuls.coop

Reply via email to