Bonjour à tous,

Je cherche quel patch embarque le fix ci-dessous.
Sauriez-vous m'aider ?

https://github.com/php/php-src/pull/5244

Merci.