Am 14.06.2015 um 07:55 schrieb Xinchen Hui: > maybe related to this : 3cfa58367b1b85d346d9be6cf9ae116c63571247
Yes, reverting that commit fixes it. Thanks for the pointer! -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php